reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3038 State.indicatePessimisticFixpoint(); 3040 return State.isAssumed(AANoCapture::NO_CAPTURE_MAYBE_RETURNED); 3045 State.removeAssumedBits(AANoCapture::NO_CAPTURE); 3126 State.removeAssumedBits(AANoCapture::NOT_CAPTURED_IN_MEM); 3128 State.removeAssumedBits(AANoCapture::NOT_CAPTURED_IN_INT); 3130 State.removeAssumedBits(AANoCapture::NOT_CAPTURED_IN_RET); 3131 return !State.isAssumed(AANoCapture::NO_CAPTURE_MAYBE_RETURNED);