Searched defs:TrueState (Results 1 – 3 of 3) sorted by relevance
771 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); in evalFeofFerror() local
991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1658 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local