reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1306 auto I = Cached.find(S); 1314 if (Loc::isLocType(S->getLHS()->getType()) != 1315 Loc::isLocType(S->getRHS()->getType())) 1316 return skip(S); 1318 SVal LHS = Visit(S->getLHS()); 1319 SVal RHS = Visit(S->getRHS()); 1320 if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS)) 1320 if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS)) 1321 return skip(S); 1324 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); 1324 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); 1324 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));