HomeSort by relevance Sort by last modified time
    Searched refs:stateTrue (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
BasicObjCFoundationChecks.cpp 400 ProgramStateRef stateTrue, stateFalse;
401 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
403 if (stateTrue && !stateFalse) {
404 ExplodedNode *N = C.generateSink(stateTrue);
CStringChecker.cpp 433 ProgramStateRef stateTrue, stateFalse;
450 llvm::tie(stateTrue, stateFalse) =
453 if (stateTrue && !stateFalse) {
455 emitOverlapBug(C, stateTrue, First, Second);
471 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
472 if (stateTrue) {
519 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
521 if (stateTrue && !stateFalse) {
523 emitOverlapBug(C, stateTrue, First, Second);
    [all...]

Completed in 1159 milliseconds