1 // RUN: %clang_analyze_cc1 -std=c++17 -analyzer-checker=core -verify %s
2 
3 struct s { int a; };
4 int foo() {
5     auto[a] = s{1}; // FIXME: proper modelling
6     if (a) {
7     }
8 } // expected-warning{{non-void function does not return a value}}
9 
10