24 lines · c
1// RUN: %clang_analyze_cc1 %s \2// RUN: -analyzer-checker=core,debug.ExprInspection \3// RUN: -analyzer-config eagerly-assume=false \4// RUN: -analyzer-config support-symbolic-integer-casts=false \5// RUN: -verify6 7// RUN: %clang_analyze_cc1 %s \8// RUN: -analyzer-checker=core,debug.ExprInspection \9// RUN: -analyzer-config eagerly-assume=false \10// RUN: -analyzer-config support-symbolic-integer-casts=true \11// RUN: -verify12 13// expected-no-diagnostics14 15void clang_analyzer_eval(int);16void clang_analyzer_dump(int);17 18void crash(int b, long c) {19 b = c;20 if (b > 0)21 if(-b) // should not crash here22 ;23}24