Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

Lines Matching refs:Assume

68                                check::Bind, eval::Assume> {
239   state = state->assume(extentMatchesSize, true);
282   // FIXME: Technically using 'Assume' here can result in a path
285   llvm::tie(notNullState, nullState) = state->assume(location);
520   const GRState *stateEqual = state->assume(PtrEQ, true);
521   if (stateEqual && state->assume(SizeZero, false)) {
535   if (const GRState *stateNotEqual = state->assume(PtrEQ, false)) {
537     if (const GRState *stateSizeZero = stateNotEqual->assume(SizeZero, true))
547     if (const GRState *stateSizeNotZero = stateNotEqual->assume(SizeZero,false))
698       llvm::tie(notNullState, nullState) = state->assume(l);

OpenGrok