File tree Expand file tree Collapse file tree 4 files changed +25
-12
lines changed
Expand file tree Collapse file tree 4 files changed +25
-12
lines changed Original file line number Diff line number Diff line change @@ -102,9 +102,15 @@ target_code_coverage(asan_use_after_scope AUTO ALL)
102102add_test (asan_use_after_scope asan_use_after_scope)
103103
104104# Fails with MemorySanitizer
105- add_executable (msanFail ../src/msan_fail.cpp)
106- target_code_coverage(msanFail AUTO ALL )
107- add_test (msan msanFail)
105+ add_executable (msan_uninitialized_value_used
106+ ../src/msan/uninitialized_value_used.c)
107+ target_code_coverage(msan_uninitialized_value_used AUTO ALL )
108+ add_test (msan_uninitialized_value_used msan_uninitialized_value_used)
109+
110+ add_executable (msan_uninitialized_pointer_used
111+ ../src/msan/uninitialized_pointer_used.c)
112+ target_code_coverage(msan_uninitialized_pointer_used AUTO ALL )
113+ add_test (msan_uninitialized_pointer_used msan_uninitialized_pointer_used)
108114
109115# Fails with UndefinedBehaviourSanitizer
110116add_executable (ubsanFail ../src/ubsan_fail.cpp)
Original file line number Diff line number Diff line change 1+ // example of using an uninitialized pointer
2+ #include <stdio.h>
3+
4+ int main (int argc , char * * argv ) {
5+ int * val ;
6+ printf ("val: %i" , * val );
7+ return 0 ;
8+ }
Original file line number Diff line number Diff line change 1+ // example of using an uninitialized value
2+ #include <stdio.h>
3+
4+ int main (int argc , char * * argv ) {
5+ int val ;
6+ printf ("val: %i" , val );
7+ return 0 ;
8+ }
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments