tomasz-kaminski-sonarsource added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/CallEvent.cpp:490
+ // edge-cases.
+ ArgVal = castArgToParamTypeIfNeeded(Call, Idx, ArgVal, SVB);
+
----------------
Previously we didng make bindings if `ArgVal` was unknown, and we may want to
preserve this invariant.
================
Comment at: clang/test/Analysis/region-store.c:66
+ // expected-warning@+1 {{passing arguments to 'b' without a prototype is
deprecated in all versions of C and is not supported in C2x}}
+ b(&buffer);
+}
----------------
I would like to see an example where the called function is implicitly defined.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D136162/new/
https://reviews.llvm.org/D136162
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
