Searched refs:proves (Results 1 – 8 of 8) 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()
71 IOCP, it proves that a memory BIO can be used to support IOCP-based usage.
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()
10082 FADT proves to contain incorrect values - UseDefaultRegisterWidths. This