Searched defs:StTrue (Results 1 – 6 of 6) sorted by relevance
84 if (ProgramStateRef StTrue = State->assume(*ReturnV, true)) { in checkPostCall() local
148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
65 ProgramStateRef StTrue = Assume(true); in assumeDualImpl() local
157 ProgramStateRef StTrue, StFalse; in evalComparison() local
2745 ProgramStateRef StTrue, StFalse; assumeCondition() local 2791 ProgramStateRef StTrue, StFalse; processBranch() local
74 ProgramStateRef StTrue; in reportIfCanBeTrue() local