[clang] [clang][analyzer] Fix argument invalidations in StreamChecker. (PR #79470)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Thu Jan 25 11:42:09 PST 2024


================
@@ -544,6 +545,21 @@ const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N,
   return nullptr;
 }
 
+static ProgramStateRef
+escapeArgs(ProgramStateRef State, CheckerContext &C, const CallEvent &Call,
+           const SmallVector<unsigned int> &EscapingArgs) {
----------------
steakhal wrote:

```suggestion
escapeArgs(ProgramStateRef State, CheckerContext &C, const CallEvent &Call,
           ArrayRef<unsigned int> EscapingArgs) {
```
Views should be preferred for input parameters.

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


More information about the cfe-commits mailing list