Searched refs:FailComparison (Results 1 – 1 of 1) sorted by relevance
103 auto FailComparison = in evalAssume() local108 if (!FailComparison) in evalAssume()110 if (auto IsFailBranch = State->assume(*FailComparison); in evalAssume()