Searched refs:proves (Results 1 – 7 of 7) sorted by relevance
181 bool TruePrev = PrevEnv.proves(PrevBool.formula()); in widenDistinctValues()182 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()186 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()187 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()1140 bool Environment::proves(const Formula &F) const { in proves() function in clang::dataflow::Environment
116 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()117 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
653 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
874 if (Env.proves(HasValueVal->formula())) in diagnoseUnwrapCall()
9974 FADT proves to contain incorrect values - UseDefaultRegisterWidths. This