1 // RUN: %clang_analyze_cc1 -w -analyzer-checker=core -fblocks -verify %s 2 3 // expected-no-diagnostics 4 5 typedef struct { 6 int x; 7 } S; 8 foo(void)9 void foo(void) { 10 ^{ 11 S s; 12 return s; // no-crash 13 }; 14 } 15