File tree 1 file changed +11
-4
lines changed
1 file changed +11
-4
lines changed Original file line number Diff line number Diff line change @@ -43,6 +43,8 @@ PREFIX?=/usr/local
43
43
# CONFIG_PROFILE=y
44
44
# use address sanitizer
45
45
# CONFIG_ASAN=y
46
+ # use memory sanitizer
47
+ # CONFIG_MSAN=y
46
48
# include the code for BigFloat/BigDecimal, math mode and faster large integers
47
49
CONFIG_BIGNUM =y
48
50
@@ -142,6 +144,10 @@ ifdef CONFIG_ASAN
142
144
CFLAGS+=-fsanitize =address -fno-omit-frame-pointer
143
145
LDFLAGS+=-fsanitize =address -fno-omit-frame-pointer
144
146
endif
147
+ ifdef CONFIG_MSAN
148
+ CFLAGS+=-fsanitize =memory -fno-omit-frame-pointer
149
+ LDFLAGS+=-fsanitize =memory -fno-omit-frame-pointer
150
+ endif
145
151
ifdef CONFIG_WIN32
146
152
LDEXPORT =
147
153
else
@@ -176,12 +182,13 @@ endif
176
182
177
183
# examples
178
184
ifeq ($(CROSS_PREFIX ) ,)
179
- PROGS+ =examples/hello
180
185
ifndef CONFIG_ASAN
181
- PROGS+ =examples/hello_module
182
- endif
186
+ ifndef CONFIG_MSAN
187
+ PROGS+ =examples/hello examples/hello_module examples/test_fib
183
188
ifdef CONFIG_SHARED_LIBS
184
- PROGS+ =examples/test_fib examples/fib.so examples/point.so
189
+ PROGS+ =examples/fib.so examples/point.so
190
+ endif
191
+ endif
185
192
endif
186
193
endif
187
194
You can’t perform that action at this time.
0 commit comments