Searched defs:RightVal (Results 1 – 3 of 3) sorted by relevance
360 Value *LeftVal, *RightVal; countToEliminateCompares() local
2157 SVal RightVal = state->getSVal(Right.Expression, LCtx); evalStrcmpCommon() local
217 hasVisibleUpdate(const ExplodedNode * LeftNode,SVal LeftVal,const ExplodedNode * RightNode,SVal RightVal) hasVisibleUpdate() argument