[PATCH] D136162: [analyzer] Fix assertion failure with conflicting prototype calls

[Balázs Benics via Phabricator via cfe-commits]

steakhal updated this revision to Diff 469234.
steakhal retitled this revision from "[analyzer] Fix assertion failure in RegionStore within bindArray()" to "[analyzer] Fix assertion failure with conflicting prototype calls".
steakhal edited the summary of this revision.
steakhal added a comment.

- Updated the summary.
- Implementing a completely new approach focusing on the runtime definition & argument-parameter binding


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136162/new/

https://reviews.llvm.org/D136162

Files:
  clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  clang/test/Analysis/region-store.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D136162.469234.patch
Type: text/x-patch
Size: 5163 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20221020/98f7dfd8/attachment.bin>