Home
last modified time | relevance | path

Searched refs:IsNonNull (Results 1 – 5 of 5) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp955 ConditionTruthVal IsNonNull = State->isNonNull(PropVal.Value); in evalAssume() local
956 if (IsNonNull.isConstrainedTrue()) { in evalAssume()
960 } else if (IsNonNull.isConstrainedFalse()) { in evalAssume()
H A DStdLibraryFunctionsChecker.cpp1206 auto [IsNonNull, IsNull] = State->assume(*Val); in apply()
1207 return IsNull && !IsNonNull; in apply()
/freebsd-14.2/contrib/llvm-project/clang/lib/CodeGen/
H A DTargetInfo.h302 bool IsNonNull = false) const;
H A DCGExpr.cpp702 llvm::Value *IsNonNull = nullptr; in EmitTypeCheck() local
709 IsNonNull = Builder.CreateIsNotNull(Ptr); in EmitTypeCheck()
713 IsGuaranteedNonNull = IsNonNull == True; in EmitTypeCheck()
722 Builder.CreateCondBr(IsNonNull, Rest, Done); in EmitTypeCheck()
725 Checks.push_back(std::make_pair(IsNonNull, SanitizerKind::Null)); in EmitTypeCheck()
802 if (!IsNonNull) in EmitTypeCheck()
803 IsNonNull = Builder.CreateIsNotNull(Ptr); in EmitTypeCheck()
807 Builder.CreateCondBr(IsNonNull, VptrNotNull, Done); in EmitTypeCheck()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2468 const Use *U, const Instruction *I, bool &IsNonNull, bool &TrackUse) { in getKnownNonNullAndDerefBytesForUse() argument
2497 IsNonNull |= in getKnownNonNullAndDerefBytesForUse()
2505 IsNonNull |= !NullPointerIsDefined; in getKnownNonNullAndDerefBytesForUse()
2516 IsNonNull |= IsKnownNonNull; in getKnownNonNullAndDerefBytesForUse()
2532 IsNonNull |= !NullPointerIsDefined; in getKnownNonNullAndDerefBytesForUse()
2541 IsNonNull |= !NullPointerIsDefined; in getKnownNonNullAndDerefBytesForUse()
2566 bool IsNonNull = false; in followUseInMBEC() local
2569 IsNonNull, TrackUse); in followUseInMBEC()
2570 State.setKnown(IsNonNull); in followUseInMBEC()
4952 bool IsNonNull = false; in followUseInMBEC() local
[all …]