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