analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / auto-init-11.c
blobaafa2154a062eca0a785eb76dc0a75ce9fd697e5
1 /* Verify zero initialization for VLA automatic variables. */
2 /* { dg-do compile } */
3 /* { dg-options "-ftrivial-auto-var-init=zero -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*, 2, \&\"arr\"" "gimple" } } */