Searched refs:EagerlyAssumeTag (Results 1 – 1 of 1) sorted by relevance
1794 static std::pair<const void*,const void*> EagerlyAssumeTag variable1795 = std::pair<const void*,const void*>(&EagerlyAssumeTag,static_cast<void*>(0));1819 &EagerlyAssumeTag, Pred->getLocationContext()), in evalEagerlyAssume()1827 Dst.Add(Builder->generateNode(PostStmtCustom(Ex, &EagerlyAssumeTag, in evalEagerlyAssume()