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