| 88de5a0963cbd2b92810d20d1bfbd9eb4951dc42 |
|
22-Mar-2013 |
Ted Kremenek <kremenek@apple.com> |
Add test case for PR 12921.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177767 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| bfa9ab8183e2fdc74f8633d758cb0c6201314320 |
|
25-Jan-2013 |
Anna Zaks <ganna@apple.com> |
[analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".
The idea is to eventually place all analyzer options under
"analyzer-config". In addition, this lays the ground for introduction of
a high-level analyzer mode option, which will influence the
default setting for IPAMode.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173385 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| beac9e3772e255f89dad0abe34811953121912b2 |
|
09-Jan-2013 |
Ted Kremenek <kremenek@apple.com> |
Do not model loads from complex types, since we don't accurately model the imaginary and real parts yet.
Fixes false positive reported in <rdar://problem/12964481>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@171987 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 9c0466603f2051fec9270686dfcd270630e62530 |
|
29-Nov-2012 |
Ted Kremenek <kremenek@apple.com> |
Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <rdar://problem/12759044>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168843 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 1994e3993e5e2c606f4ab22563768af6f03dad30 |
|
28-Nov-2012 |
Ted Kremenek <kremenek@apple.com> |
Fix another false positive due to a CXX temporary object appearing in a C initializer.
The stop-gap here is to just drop such objects when processing the InitListExpr.
We still need a better solution.
Fixes <rdar://problem/12755044>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168757 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| bd8a11e224c3ec6cbc4bb9b1fc70a8aa3a633e43 |
|
28-Nov-2012 |
Ted Kremenek <kremenek@apple.com> |
Provide stop-gap solution to crash reported in PR 14436.
This was also covered by <rdar://problem/12753384>. The static analyzer
evaluates a CXXConstructExpr within an initializer expression and
RegionStore doesn't know how to handle the resulting CXXTempObjectRegion
that gets created. We need a better solution than just dropping the
value, but we need to better understand how to implement the right
semantics here.
Thanks to Jordan for his help diagnosing the behavior here.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168741 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| dac6cd533d90fa1f75e66f83f7d5ebc12e34bfb7 |
|
26-Nov-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] Fix a crash reported in PR 14400.
The AllocaRegion did not have the superRegion (based on LocationContext)
as part of it's hash. As a consequence, the AllocaRegions from
different frames were uniqued to be the same region.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168599 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| cdc3a89d5de90b2299c56f4a46c3de590c5184d1 |
|
24-Aug-2012 |
Ted Kremenek <kremenek@apple.com> |
Fix analyzer tests.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162588 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| ee04959f88e26ed38dccf4aed2ff10cad1f703c9 |
|
21-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.
The actual change here is a little more complicated than the summary above.
What we want to do is have our generic inlining tests run under whatever
mode is the default. However, there are some tests that depend on the
presence of C++ inlining, which still has some rough edges. These tests have
been explicitly marked as -analyzer-ipa=inlining in preparation for a new
mode that limits inlining to C functions and blocks. This will be the
default until the false positives for C++ have been brought down to
manageable levels.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162317 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| c32a453e40b2c8878fed10512fb2f570b7aba576 |
|
18-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Treat C++ 'throw' as a sink.
Our current handling of 'throw' is all CFG-based: it jumps to a 'catch' block
if there is one and the function exit block if not. But this doesn't really
get the right behavior when a function is inlined: execution will continue on
the caller's side, which is always the wrong thing to do.
Even within a single function, 'throw' completely skips any destructors that
are to be run. This is essentially the same problem as @finally -- a CFGBlock
that can have multiple entry points, whose exit points depend on whether it
was entered normally or exceptionally.
Representing 'throw' as a sink matches our current (non-)handling of @throw.
It's not a perfect solution, but it's better than continuing analysis in an
inconsistent or even impossible state.
<rdar://problem/12113713>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162157 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| a8695180217806bb421cfc6700bec76fc0b1ae56 |
|
04-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Use a more robust check for null in CallAndMessageChecker.
This should fix the failing test on the buildbot as well.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161290 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 9f3b9d54ccbbf212591602f389ebde7923627490 |
|
02-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Add a simple check for initializing reference variables with null.
There's still more work to be done here; this doesn't catch reference
parameters or return values. But it's a step in the right direction.
Part of <rdar://problem/11212286>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161214 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 10f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2 |
|
23-Jun-2012 |
Ted Kremenek <kremenek@apple.com> |
Implement initial static analysis inlining support for C++ methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159047 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| c319c585c0d5899cba0dca2272e6e4909c8b9f16 |
|
08-May-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach the analyzer about CXXScaleValueInitExpr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156369 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| b98b998e9a5637012ab39ad1dabdad7c798721e8 |
|
05-Apr-2012 |
Ted Kremenek <kremenek@apple.com> |
Handle symbolicating a reference in an initializer expression that we don't understand.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154084 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 5aac0b6ae95f137b1783f3e6227241fb457b8f8b |
|
22-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
Fix static analyzer crash on code taking the address of a field. Fixes PR 11146.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@153283 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| ce612f5a7d306f919c7ae57fcd8c5ecb5d83d54e |
|
16-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
Fix analyzer crash on analyzing 'catch' with no condition variable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152900 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 337e4dbc6859589b8878146a88bebf754e916702 |
|
10-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered
as aborted, but didn't treat such cases as sinks in the ExplodedGraph.
Along the way, add basic support for CXXCatchStmt, expanding the set of code we actually analyze (hopefully correctly).
Fixes: <rdar://problem/10892489>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152468 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 60a4481fd9e5dc68b1070306bd70f2865985961d |
|
01-Dec-2011 |
Ted Kremenek <kremenek@apple.com> |
Fix typo.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145577 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| a078ecf3484d62b01d9f8c01e0fecffd65c583e1 |
|
01-Dec-2011 |
Ted Kremenek <kremenek@apple.com> |
When analyzing a C++ method (without a specific caller), assume 'this' is non-null. Fixes <rdar://problem/10508787>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145575 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 214323b78b01ef9c1ad226f0eb5bd1187f3efa70 |
|
29-Nov-2011 |
Ted Kremenek <kremenek@apple.com> |
Relax RegionStore to allow loads from CodeTextRegions. Apparently you can actually write code that does this. This seems worthy of a checker, but the StoreManager should handle the memory abstraction without crashing. Fixes PR 11450.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145424 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| e42a0ab77ca4ad5201591aac5679ef47a08af4b6 |
|
16-Nov-2011 |
Jim Goodnow II <jim@thegoodnows.net> |
Fixed crash with initializer lists and unnamed bitfields in the RegionStore
Manager. Added test to ensure proper binding of initialized values.
This patch fixes PR11249.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144831 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| e4c6675cccbaac991843def43072687bca50d989 |
|
30-Sep-2011 |
Ted Kremenek <kremenek@apple.com> |
Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@140844 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 5bd04952d4ae7ca894f583583208f0cec4735a90 |
|
16-Aug-2011 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] teach ExprEngine about loads from static C++ class fields. Fixes <rdar://problem/9948787>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137760 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 033a07e5fca459ed184369cfee7c90d82367a93a |
|
04-Aug-2011 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] rename all experimental checker packages to have 'experimental' be the common root package.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@136835 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| c46d6410947b18ac4c52cff4d0f8021b10a57c1e |
|
20-May-2011 |
Ted Kremenek <kremenek@apple.com> |
Teach RegionStore not to symbolic array values whose indices it cannot reason about.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@131702 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 9d5d308c9be367ec41cc6a89f215d45f675b4617 |
|
12-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129349 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 3bab50b802f402b7020aeb3ba6cec90bb149678c |
|
12-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129348 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| bf1a66764a12f6cceb6ba8b349d4b74996e3786b |
|
12-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
RegionStoreManager::invalidateRegions: treat classes the same as structs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129333 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 235c02f79e0ece9463490aa87eaaa02bad300dac |
|
12-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
Teach GRState::getSValAsScalarOrLoc() about C++ references.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129329 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 9fec9b1fbd32e71ce8acb701165fd6649b3d8285 |
|
12-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129308 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 5fe98728dca1f3a7a378ce1a21984a0f8a0c0b8b |
|
09-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs
to be reworked to model CallEnter/CallExit (just like all other calls). For now, treat constructors mostly
like other function calls, making the analysis of C++ code just a little more useful.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129166 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 94ae8fd470471134114599ccfc2301da05719212 |
|
31-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn't always be the final node, thus causing the state to continue propagating. Instead,
recover some path-sensitivity by conjuring a symbol.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128612 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 41c5f498b2d10fab683f1c5685ff79c90a737d24 |
|
31-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
Teach static analyzer about the basics of handling new[]. We still don't simulate constructors, but at least the analyzer doesn't think the return value is uninitialized.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128611 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| b277159055933e610bbc80262b600d3ad7e0595c |
|
30-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128557 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| c4d2c9074be6eb2091086eddd6c8f052f3b245c8 |
|
28-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126676 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| b3d74da3e1620c9a7a378afb5f244e4987e6713e |
|
28-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.
They cooperate in that NSErrorChecker listens for ImplicitNullDerefEvent events that
DereferenceChecker can dispatch.
ImplicitNullDerefEvent is when we dereferenced a location that may be null.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126659 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 65d39251ff57b8e33cf6d3a7fcc6aa1c6f8cdc68 |
|
24-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126440 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| b8b07b171041561eb28024d5b4d07227c971c0f9 |
|
14-Feb-2011 |
Ted Kremenek <kremenek@apple.com> |
Handle 'UsingDirective' in CFGRecStmtDeclVisitor.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125491 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 250704bc525361e8612ea01f245a41a1193c13f0 |
|
22-Dec-2010 |
Zhongxing Xu <xuzhongxing@gmail.com> |
If the unary operator is prefix and an lvalue (in C++), bind
the location (l-value) to it.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122396 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 892697dd2287caf7c29aaaa82909b0e90b8b63fe |
|
16-Dec-2010 |
Ted Kremenek <kremenek@apple.com> |
Start migration of static analyzer to using the
implicit lvalue-to-rvalue casts that John McCall
recently introduced. This causes a whole bunch
of logic in the analyzer for handling lvalues
to vanish. It does, however, raise a few issues
in the analyzer w.r.t to modeling various constructs
(e.g., field accesses to compound literals).
The .c/.m analysis test cases that fail are
due to a missing lvalue-to-rvalue cast that
will get introduced into the AST. The .cpp
failures were more than I could investigate in
one go, and the patch was already getting huge.
I have XFAILED some of these tests, and they
should obviously be further investigated.
Some highlights of this patch include:
- CFG no longer requires an lvalue bit for
CFGElements
- StackFrameContext doesn't need an 'asLValue'
flag
- The "VisitLValue" path from GRExprEngine has
been eliminated.
Besides the test case failures (XFAILed), there
are surely other bugs that are fallout from
this change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@121960 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 99cae5b67b9711ca260e5b364a878a1a91183632 |
|
22-Nov-2010 |
Zhanyong Wan <wan@google.com> |
Fix PR8419. Reviewed by kremenek and xuzhongxing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@119960 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 739830d278b0a174edc59edcfedaecec53d36e3f |
|
31-Oct-2010 |
Zhanyong Wan <wan@google.com> |
Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117853 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| a427f1d8f0848997029d1bdc0c5c137f982f775d |
|
31-Aug-2010 |
Ted Kremenek <kremenek@apple.com> |
Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs.
Fixes: <rdar://problem/8375510> [Boost] CFGBuilder crash in Boost.Graph
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112618 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 741b9be084a61b4d5eb9b626f7f75949cfda3b11 |
|
29-Jul-2010 |
Ted Kremenek <kremenek@apple.com> |
Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@109719 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 565e465c6d0093f1bf8414b2cabdc842022385a9 |
|
05-Feb-2010 |
Ted Kremenek <kremenek@apple.com> |
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95348 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| de0d26310191215a6d1d189dc419f87af18ce6be |
|
05-Jan-2010 |
Ted Kremenek <kremenek@apple.com> |
Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92675 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| dd8b44101281c894026c7070da6e826c542ea87b |
|
24-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Add analyzer test case for 'ForStmt' with condition variable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92120 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 4ec010a6ccf4db2ab2ef9e68942642d50f7f193c |
|
24-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92111 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 4c508a12cedcf2896412a3700c1b2a35bf339828 |
|
24-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92106 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| fcfb503c280ed8c66d428fed911b2846c0f434fc |
|
24-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92102 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 61dfbecd8e6181b2ba42ffb5feede27a2bab3b8a |
|
23-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Add CFG support for the condition variable that can appear in IfStmts in C++ mode.
Add transfer function support in GRExprEngine for IfStmts with initialized condition variables.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91987 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 077a40df258beb46cb746af61da115e9718a6aff |
|
23-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91969 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 949bdb43bf370b23a79a37b017e0a0566c0d66e0 |
|
23-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Add basic support for analyzing CastExprs as lvalues.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91952 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 910e4080986045cc2036f8d1f55398acc7fbb257 |
|
19-Dec-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Use the FunctionDecl's result type to know exactly if it returns a reference.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91751 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| 53287518f69b8f06f82a6cdbd13e4e3a13b58186 |
|
18-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91710 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|
| d87682ed3c3e5d748d13a5c4f1cbb267aa756b31 |
|
17-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Add failing test case for C++ static analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91578 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/misc-ps-region-store.cpp
|