Searched refs:assumeCondition (Results 1 – 1 of 1) sorted by relevance
2767 assumeCondition(const Stmt *Condition, ExplodedNode *N) { in assumeCondition() function2851 if (const auto KnownCondValueAssumption = assumeCondition(Condition, PredN)) in processBranch()