reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
315 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
878 State = assumeNoOverflow(State, Sym, 4); 1191 State = assumeNoOverflow(State, Sym, 4); 1234 State = assumeNoOverflow(State, NewEndSym, 4); 1585 State = assumeNoOverflow(State, NewPosSym, 4); 1954 State = assumeNoOverflow(State, Sym, 4); 1977 State = assumeNoOverflow(State, Sym, 4); 2062 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);