Searched defs:trueState (Results 1 – 1 of 1) sorted by relevance
242 ProgramStateRef trueState, falseState; CheckOpenVariant() local 317 IsZeroByteAllocation(ProgramStateRef state,const SVal argVal,ProgramStateRef * trueState,ProgramStateRef * falseState) IsZeroByteAllocation() argument 363 ProgramStateRef trueState = nullptr, falseState = nullptr; BasicAllocationCheck() local 388 ProgramStateRef trueState = nullptr, falseState = nullptr; CheckCallocZero() local [all...]