[cfe-dev] Inconsistent argument number between function decl and callee site causes Clang crash

[Zhenbo Xu]

Hi everybody,
Clang Static Analyzer crashes when the argument number of function's callee
site is greater than function decl.
The following is a simple test case:

//Run %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store=region
-analyzer-inline-call
#include <stdlib.h>
void f1() {
}

void f() {
int *p = malloc(32);
f1(p);
}

Attachment is the patch.


-- 
  Zhenbo Xu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20110114/4d17768a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: RegionStore.patch
Type: application/octet-stream
Size: 2216 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20110114/4d17768a/attachment.obj>