Searched refs:setErrnoStateIrrelevant (Results 1 – 1 of 1) sorted by relevance
65 static ProgramStateRef setErrnoStateIrrelevant(ProgramStateRef State) { in setErrnoStateIrrelevant() function165 State = setErrnoStateIrrelevant(State); in checkLocation()176 generateErrnoNotCheckedBug(C, setErrnoStateIrrelevant(State), in checkLocation()182 State = setErrnoStateIrrelevant(State); in checkLocation()212 generateErrnoNotCheckedBug(C, setErrnoStateIrrelevant(C.getState()), in checkPreCall()