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

  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp 424 ProgramStateRef stateTrue, stateFalse;
441 llvm::tie(stateTrue, stateFalse) =
444 if (stateTrue && !stateFalse) {
446 emitOverlapBug(C, stateTrue, First, Second);
463 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
464 if (stateTrue) {
508 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
510 if (stateTrue && !stateFalse) {
512 emitOverlapBug(C, stateTrue, First, Second);
    [all...]
BasicObjCFoundationChecks.cpp 549 ProgramStateRef stateTrue, stateFalse;
550 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
552 if (stateTrue && !stateFalse) {
553 ExplodedNode *N = C.generateSink(stateTrue);
    [all...]

Completed in 170 milliseconds