Searched defs:trueState (Results 1 – 2 of 2) sorted by relevance
148 ProgramStateRef trueState, falseState; in CheckOpen() local219 ProgramStateRef *trueState, in IsZeroByteAllocation()266 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local291 ProgramStateRef trueState = nullptr, falseState = nullptr; in CheckCallocZero() local
249 ProgramStateRef trueState, falseState; in CheckOpenVariant() local326 ProgramStateRef *trueState, in IsZeroByteAllocation()375 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local400 ProgramStateRef trueState = nullptr, falseState = nullptr; in CheckCallocZero() local