Searched defs:InitialVal (Results 1 – 2 of 2) sorted by relevance
263 Value *InitialVal; in adjustByValArgAlignment() member
290 SVal InitialVal = State->getSVal(*LValLoc); in checkBeginFunction() local