Searched refs:Consequent (Results 1 – 2 of 2) sorted by relevance
219 const SymbolRef *Consequent = in addImplication() local222 if (!Consequent) in addImplication()230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()238 State = State->remove<NullImplicationMap>(*Consequent); in addImplication()241 State = State->remove<NonNullImplicationMap>(*Consequent); in addImplication()
20148 * acinclude.m4 (GMP_H_EXTERN_INLINE): Consequent changes.22294 mpn/powerpc64/aix.m4, mpn/x86/x86-defs.m4: Consequent updates, add a22829 * gmp-h.in, gmp-impl.h, Makefile.am, configure.in: Consequent23293 * mpz/Makefile.am: Consequent updates.23300 * mpf/Makefile.am: Consequent updates.25124 * tune/speed.h, tune/common.c: Consequent changes.26194 * tune/Makefile.am: Consequent changes to divrem_1.c and mod_1.c.26534 * configure.in (asm-defs.m4): Consequent changes.26788 * configure.in: Consequent changes.27056 * configure.in, tune/*: Consequent changes.