Searched defs:CM (Results 1 – 6 of 6) sorted by relevance
54 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt() local
87 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt() local
231 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux() local347 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream() local
93 if (CompleteMatchMatcher *CM = in ContractNodes() local
559 const CompleteMatchMatcher *CM = cast<CompleteMatchMatcher>(N); in EmitMatcher() local
314 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound() local