[clang] [clang][analyzer] Model allocation behavior or getdelim/geline (PR #83138)

via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 6 03:56:26 PST 2024


Alejandro =?utf-8?q?Álvarez_Ayllón?Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/83138 at github.com>


================
@@ -110,6 +113,9 @@ class OperatorKind {
 OperatorKind operationKindFromOverloadedOperator(OverloadedOperatorKind OOK,
                                                  bool IsBinary);
 
+std::optional<DefinedSVal> getPointeeDefVal(SVal PtrSVal,
+                                            ProgramStateRef State);
----------------
NagyDonat wrote:

Perhaps consider turning this helper function into a method of `SVal`, because it's a fairly generic operation and it would be easier to find there.

https://github.com/llvm/llvm-project/pull/83138


More information about the cfe-commits mailing list