diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-03-30 17:41:19 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-03-30 17:41:19 +0000 |
| commit | 98a24e37c565d6eabca0cff7e9541734d1e7e224 (patch) | |
| tree | b7fa5240e627046deca355b09bf9272d8e6be8c7 /clang/test/Analysis/inline.c | |
| parent | f0901227e30de7c55fb9a430e6a4aebb88a454cd (diff) | |
| download | bcm5719-llvm-98a24e37c565d6eabca0cff7e9541734d1e7e224.tar.gz bcm5719-llvm-98a24e37c565d6eabca0cff7e9541734d1e7e224.zip | |
Begin reworking static analyzer support for C++ method calls. The current logic was divorced
from how we process ordinary function calls, had a tremendous about of redundancy, and relied
strictly on inlining behavior (which was incomplete) to provide semantics instead of falling
back to the conservative analysis we use for C functions. This is a significant step into
making C++ analyzer support more useful.
llvm-svn: 128557
Diffstat (limited to 'clang/test/Analysis/inline.c')
| -rw-r--r-- | clang/test/Analysis/inline.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/test/Analysis/inline.c b/clang/test/Analysis/inline.c index e3c7e838934..2aac15661b1 100644 --- a/clang/test/Analysis/inline.c +++ b/clang/test/Analysis/inline.c @@ -1,4 +1,5 @@ // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-inline-call -analyzer-store region -verify %s +// XFAIL: * int test1_f1() { int y = 1; |
