Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCastValueChecker.cpp98 bool CastSucceeds) { in isInfeasibleCast() argument
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()
300 bool CastSucceeds; in addInstanceOfTransition() local
302 CastSucceeds = IsInstanceOf && CastInfo->succeeds(); in addInstanceOfTransition()
304 CastSucceeds = IsInstanceOf || CastFromTy == CastToTy; in addInstanceOfTransition()
[all …]
/llvm-project-15.0.7/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()