Lines Matching refs:ProgramStateRef

72                                 ProgramStateRef falseState,
86                      ProgramStateRef State,
97                                    ProgramStateRef State,  in ReportOpenBug()
147   ProgramStateRef state = C.getState();  in CheckOpenVariant()
214   ProgramStateRef trueState, falseState;  in CheckOpenVariant()
250   ProgramStateRef state = C.getState();  in CheckPthreadOnce()
287 static bool IsZeroByteAllocation(ProgramStateRef state,  in IsZeroByteAllocation()
289                                 ProgramStateRef *trueState,  in IsZeroByteAllocation()
290                                 ProgramStateRef *falseState) {  in IsZeroByteAllocation()
301                                               ProgramStateRef falseState,  in ReportZeroByteAllocation()
335   ProgramStateRef state = C.getState();  in BasicAllocationCheck()
336   ProgramStateRef trueState = nullptr, falseState = nullptr;  in BasicAllocationCheck()
360   ProgramStateRef state = C.getState();  in CheckCallocZero()
361   ProgramStateRef trueState = nullptr, falseState = nullptr;  in CheckCallocZero()