HomeSort by relevance Sort by last modified time
    Searched refs:stateFalse (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) {
451 assert(stateFalse);
452 state = stateFalse;
463 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
465 if (stateFalse) {
508 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
510 if (stateTrue && !stateFalse) {
517 assert(stateFalse);
    [all...]
BasicObjCFoundationChecks.cpp 549 ProgramStateRef stateTrue, stateFalse;
550 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
552 if (stateTrue && !stateFalse) {
575 C.addTransition(stateFalse);
    [all...]

Completed in 75 milliseconds