| George Karpenkov | 0659623 | 2018-03-07 22:20:35 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -std=c++17 -analyzer-checker=core -verify %s |
| 2 | |||||
| 3 | // expected-no-diagnostics | ||||
| 4 | struct s { int a; }; | ||||
| 5 | int foo() { | ||||
| 6 | auto[a] = s{1}; // FIXME: proper modelling | ||||
| 7 | if (a) { | ||||
| 8 | } | ||||
| 9 | } | ||||
| 10 | |||||