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()9 void foo() {
10   ^{
11     S s;
12     return s; // no-crash
13   };
14 }
15