analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / pr94755.c
blob3520864c77a9ad4b3e21482bc1ca166f12891d7a
1 /* PR c/94755 */
2 /* { dg-do compile } */
4 extern void foo (void);
6 void
7 bar (double x)
9 if (x == __builtin_speculation_safe_value ()) /* { dg-error "too few arguments to function" } */
10 foo ();