Searched refs:simplifySVal (Results 1 – 2 of 2) sorted by relevance
46 SVal simplifySVal(ProgramStateRef State, SVal V) override;629 SVal simplifiedLhs = simplifySVal(state, lhs); in evalBinOpNN()1097 V = simplifySVal(state, V); in getKnownValue()1114 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal() function in SimpleSValBuilder
152 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;