[clang] [clang][analyzer] Add StreamChecker note tags for "indeterminate stream position". (PR #83288)

via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 29 08:53:58 PST 2024


=?utf-8?q?Balázs_Kéri?= <balazs.keri at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/83288 at github.com>


================
@@ -313,6 +232,9 @@ class StreamChecker : public Checker<check::PreCall, eval::Call,
   BugType BT_ResourceLeak{this, "Resource leak", "Stream handling error",
                           /*SuppressOnSink =*/true};
 
+  const char *FeofNote = "Assuming stream reaches end-of-file here";
+  const char *FerrorNote = "Assuming this stream operation fails";
----------------
NagyDonat wrote:

Ok, that sounds good.

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


More information about the cfe-commits mailing list