reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
138 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;
51 SVal simplifySVal(ProgramStateRef State, SVal V) override;
753 SVal simplifiedLhs = simplifySVal(state, lhs); 1212 V = simplifySVal(state, V);