Searched defs:trueState (Results 1 – 1 of 1) sorted by relevance
247 ProgramStateRef trueState, falseState; in CheckOpenVariant() local324 ProgramStateRef *trueState, in IsZeroByteAllocation()373 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local398 ProgramStateRef trueState = nullptr, falseState = nullptr; in CheckCallocZero() local