analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / auto-init-12.c
blobc073bc9a1f8b1dd3923e3cfba86df6f38570c1b7
1 /* Verify zero initialization for VLA automatic variables. */
2 /* { dg-do compile } */
3 /* { dg-options "-ftrivial-auto-var-init=pattern -fdump-tree-gimple" } */
4 /* { dg-require-effective-target alloca } */
6 extern void bar (int);
8 void foo(int n)
10 int arr[n];
11 bar (arr[2]);
12 return;
15 /* { dg-final { scan-tree-dump ".DEFERRED_INIT \\(D.\\d*, 1, \&\"arr\"" "gimple" } } */