Lines Matching defs:apply

154     virtual ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
242     /// Argument to which to apply the constraint. It can be a real argument of
287     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
364     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
379     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
426     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
472     // The operator we use in apply. This is negated in negate().
484     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
533     virtual ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
557     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
570     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
583     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
603     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
620     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,
1037 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::apply(
1132 ProgramStateRef StdLibraryFunctionsChecker::ComparisonConstraint::apply(
1154 ProgramStateRef StdLibraryFunctionsChecker::NotNullConstraint::apply(
1187 ProgramStateRef StdLibraryFunctionsChecker::NotNullBufferConstraint::apply(
1235 ProgramStateRef StdLibraryFunctionsChecker::BufferSizeConstraint::apply(
1271   // cannot apply the constraint. Actually, other checkers like
1323     ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);
1325         NegatedConstraint->apply(NewState, Call, Summary, C);
1333     // We will apply the constraint even if we cannot reason about the
1367   // Now apply the constraints.
1376       NewState = Constraint->apply(NewState, Call, Summary, C);
1382       NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);