Home
last modified time | relevance | path

Searched refs:CastSucceeds (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCastValueChecker.cpp98 bool CastSucceeds) { in isInfeasibleCast() argument
102 return CastSucceeds ? CastInfo->fails() : CastInfo->succeeds(); in isInfeasibleCast()
108 bool CastSucceeds, bool IsKnownCast) { in getNoteTag() argument
131 Out << ' ' << (CastSucceeds ? "is a" : "is not a") << " '" << CastToName in getNoteTag()
232 bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy; in addCastTransition() local
233 if (!CastSucceeds) { in addCastTransition()
235 CastSucceeds = IsNonNullReturn && CastInfo->succeeds(); in addCastTransition()
237 CastSucceeds = IsNonNullReturn; in addCastTransition()
241 if (isInfeasibleCast(CastInfo, CastSucceeds)) { in addCastTransition()
250 CastSucceeds); in addCastTransition()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicType.cpp115 bool CastSucceeds) { in setDynamicTypeAndCastInfo() argument
119 if (CastSucceeds) { in setDynamicTypeAndCastInfo()
129 CastSucceeds ? DynamicCastInfo::CastResult::Success in setDynamicTypeAndCastInfo()