Searched refs:addCastTransition (Results 1 – 1 of 1) sorted by relevance
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 198 static void addCastTransition(const CallEvent &Call, DefinedOrUnknownSVal DV, in addCastTransition() function
345 addCastTransition(Call, DV, C, /*IsNonNullParam=*/true, in evalNonNullParamNonNullReturn()
352 addCastTransition(Call, DV, C, /*IsNonNullParam=*/true, in evalNonNullParamNullReturn()
404 addCastTransition(Call, DV, C, /*IsNonNullParam=*/true, in evalZeroParamNonNullReturn()
411 addCastTransition(Call, DV, C, /*IsNonNullParam=*/true, in evalZeroParamNullReturn()
|