projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ca42bb) | patch
[CFL-AA] CFL-AA should not assert on an va_arg instruction
authorHal Finkel <hfinkel@anl.gov>
Tue, 14 Oct 2014 20:51:26 +0000 (20:51 +0000)
committerHal Finkel <hfinkel@anl.gov>
Tue, 14 Oct 2014 20:51:26 +0000 (20:51 +0000)
commitdb5f86a9bf983dc0f3ea659bc1897803b8f1fd52
treea826796844e375402c7d5c2f83727ba5d54533d5tree | snapshot
parent0ca42bb5a8f0e1a3290cd0bd33fdc443941b08ffcommit | diff
[CFL-AA] CFL-AA should not assert on an va_arg instruction

The CFL-AA implementation was missing a visit* routine for va_arg instructions,
causing it to assert when run on a function that had one. For now, handle these
in a conservative way.

Fixes PR20954.

llvm-svn: 219718
llvm/lib/Analysis/CFLAliasAnalysis.cpp diff | blob | history
llvm/test/Analysis/CFLAliasAnalysis/va.ll [new file with mode: 0644] blob
Domain: System / Toolchain;