| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify -analyzer-config exploration_strategy=unexplored_first %s |
|---|
| 2 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify -analyzer-config exploration_strategy=dfs %s |
|---|
| 3 | |
|---|
| 4 | extern void clang_analyzer_eval(int); |
|---|
| 5 | |
|---|
| 6 | typedef struct { char a; } b; |
|---|
| 7 | int c(b* input) { |
|---|
| 8 | int x = (input->a ?: input) ? 1 : 0; // expected-warning{{pointer/integer type mismatch}} |
|---|
| 9 | if (input->a) { |
|---|
| 10 | // FIXME: The value should actually be "TRUE", |
|---|
| 11 | // but is incorrect due to a bug. |
|---|
| 12 | clang_analyzer_eval(x); // expected-warning{{FALSE}} |
|---|
| 13 | } else { |
|---|
| 14 | clang_analyzer_eval(x); // expected-warning{{TRUE}} |
|---|
| 15 | } |
|---|
| 16 | return x; |
|---|
| 17 | } |
|---|
| 18 | |
|---|