Searched refs:StTrue (Results 1 – 2 of 2) sorted by relevance
65 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local66 llvm::tie(StTrue, StFalse) = in getArgumentValueString()69 if (StTrue) { in getArgumentValueString()
540 ProgramStateRef StTrue, StFalse; in VisitLogicalExpr() local541 llvm::tie(StTrue, StFalse) = N->getState()->assume(DefinedRHS); in VisitLogicalExpr()542 if (StTrue) { in VisitLogicalExpr()