[clang] [analyzer] Add an ownership change visitor to StreamChecker (PR #94957)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 11 08:48:11 PDT 2024


=?utf-8?q?Kristóf?= Umann <dkszelethus at gmail.com>,
=?utf-8?q?Kristóf?= Umann <dkszelethus at gmail.com>,
=?utf-8?q?Kristóf?= Umann <dkszelethus at gmail.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/94957 at github.com>


================
@@ -300,6 +333,8 @@ class StreamChecker : public Checker<check::PreCall, eval::Call,
   /// If true, generate failure branches for cases that are often not checked.
   bool PedanticMode = false;
 
+  CallDescription FCloseDesc = {CDM::CLibrary, {"fclose"}, 1};
----------------
steakhal wrote:

```suggestion
  const CallDescription FCloseDesc = {CDM::CLibrary, {"fclose"}, 1};
```

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


More information about the cfe-commits mailing list