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