Searched refs:getKnownValue (Results 1 – 12 of 12) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 106 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize)) in checkVLA()
122 if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) { in checkVLA()
|
| H A D | CastSizeChecker.cpp | 118 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in checkPreStmt()
|
| H A D | StreamChecker.cpp | 825 static std::optional<int64_t> getKnownValue(ProgramStateRef State, SVal V) { in getKnownValue() function
827 if (const llvm::APSInt *Int = SVB.getKnownValue(State, V)) in getKnownValue()
1124 std::optional<int64_t> CountVal = getKnownValue(State, NMembVal); in tryToInvalidateFReadBufferByElements()
1125 std::optional<int64_t> Size = getKnownValue(State, SizeVal); in tryToInvalidateFReadBufferByElements()
1127 getKnownValue(State, StartElementIndex.value_or(UnknownVal())); in tryToInvalidateFReadBufferByElements()
|
| H A D | StdLibraryFunctionsChecker.cpp | 925 State->getStateManager().getSValBuilder().getKnownValue( in printArgValueInfo()
1303 State->getStateManager().getSValBuilder().getKnownValue(State, in describeArgumentValue()
|
| H A D | CStringChecker.cpp | 2412 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
|
| H A D | MallocChecker.cpp | 3582 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 112 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 82 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
1221 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue() function in SimpleSValBuilder
|
| /freebsd/contrib/llvm-project/clang/lib/Parse/ |
| H A D | ParseStmt.cpp | 1470 ConstexprCondition = Cond.getKnownValue(); in ParseIfStatement()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Sema/ |
| H A D | Sema.h | 7763 std::optional<bool> getKnownValue() const { return KnownValue; } in getKnownValue() function
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | TreeTransform.h | 8317 ConstexprConditionValue = Cond.getKnownValue(); in TransformIfStmt()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 8172 …4ento7GRStateENS2_4SValE", "(anonymous namespace)::SimpleSValBuilder::getKnownValue(clang::ento::G…
|