| 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 | |
| 11 |
| 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 | |
| 11 |