Searched refs:proves (Results 1 – 7 of 7) sorted by relevance
170 bool TruePrev = PrevEnv.proves(PrevBool->formula()); in widenDistinctValues()171 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()175 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool->formula())) && in widenDistinctValues()176 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()1003 bool Environment::proves(const Formula &F) const { in proves() function in clang::dataflow::Environment
117 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()118 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
602 bool proves(const Formula &) const;
19 and extract any value by its name. jsmn proves that checking the correctness of
137 something back that proves that @var{B} has access to the session
805 if (Env.proves(HasValueVal->formula())) in diagnoseUnwrapCall()
9761 FADT proves to contain incorrect values - UseDefaultRegisterWidths. This