Searched defs:LeftVal (Results 1 – 3 of 3) sorted by relevance
204 Value *LeftVal, *RightVal; in countToEliminateCompares() local
1949 SVal LeftVal = state->getSVal(Left.Expression, LCtx); in evalStrcmpCommon() local
186 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate()