| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s |
|---|---|
| 2 | // expected-no-diagnostics |
| 3 | |
| 4 | // Testing core functionality of the SValBuilder. |
| 5 | |
| 6 | int SValBuilderLogicNoCrash(int *x) { |
| 7 | return 3 - (int)(x +3); |
| 8 | } |
| 9 | |
| 10 | // http://llvm.org/bugs/show_bug.cgi?id=15863 |
| 11 | // Don't crash when mixing 'bool' and 'int' in implicit comparisons to 0. |
| 12 | void pr15863() { |
| 13 | extern int getBool(); |
| 14 | _Bool a = getBool(); |
| 15 | (void)!a; // no-warning |
| 16 | } |
| 17 |