[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