Searched refs:StFalse (Results 1 – 2 of 2) sorted by relevance
65 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local66 llvm::tie(StTrue, StFalse) = in getArgumentValueString()70 if (StFalse) in getArgumentValueString()75 if (StFalse) in getArgumentValueString()
540 ProgramStateRef StTrue, StFalse; in VisitLogicalExpr() local541 llvm::tie(StTrue, StFalse) = N->getState()->assume(DefinedRHS); in VisitLogicalExpr()543 if (StFalse) { in VisitLogicalExpr()552 assert(StFalse && "Infeasible path!"); in VisitLogicalExpr()