analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / asan / kasan-recover-2.c
blobd9655470abebd0b0b6827111675a4ef6eb05352c
1 /* { dg-do compile } */
2 /* { dg-options "-fno-sanitize=address -fsanitize=kernel-address -ffat-lto-objects" } */
4 void
5 foo (int *p)
7 *p = 0;
10 /* { dg-final { scan-assembler "__asan_store4_noabort" } } */