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