projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f349b2) | 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)
commit2a77e6bdd19c48bc943bd8f63e2cdc12249c6629
treed487070ecfb199f2f94e0d642e06b4b910e02682tree | snapshot
parent3f349b2ba807629665dfb164a1409cc79ac64afbcommit | 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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@219718 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFLAliasAnalysis.cpp diff | blob | history
test/Analysis/CFLAliasAnalysis/va.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors