| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
(1) libAnalysis is a generic analysis library that can be used by
Sema. It defines the CFG, basic dataflow analysis primitives, and
inexpensive flow-sensitive analyses (e.g. LiveVariables).
(2) libChecker contains the guts of the static analyzer, incuding the
path-sensitive analysis engine and domain-specific checks.
Now any clients that want to use the frontend to build their own tools
don't need to link in the entire static analyzer.
This change exposes various obvious cleanups that can be made to the
layout of files and headers in libChecker. More changes pending. :)
This change also exposed a layering violation between AnalysisContext
and MemRegion. BlockInvocationContext shouldn't explicitly know about
BlockDataRegions. For now I've removed the BlockDataRegion* from
BlockInvocationContext (removing context-sensitivity; although this
wasn't used yet). We need to have a better way to extend
BlockInvocationContext (and any LocationContext) to add
context-sensitivty.
llvm-svn: 94406
|
|
|
|
| |
llvm-svn: 90086
|
|
|
|
| |
llvm-svn: 90034
|
|
|
|
|
|
| |
not be flagged as unused. Fixes <rdar://problem/7254495>.
llvm-svn: 89448
|
|
|
|
|
|
| |
the same translation unit. Fixes <rdar://problem/6260004>.
llvm-svn: 85442
|
|
|
|
|
|
|
|
| |
will enable scanning
categories as well (WIP). No functionality change yet.
llvm-svn: 85423
|
|
|
|
| |
llvm-svn: 81346
|
|
|
|
|
|
|
| |
AnalysisContext should never change. Along the way, propagate some constness
around.
llvm-svn: 79701
|
|
|
|
|
|
| |
used in blocks
llvm-svn: 78409
|
|
|
|
| |
llvm-svn: 78407
|
|
|
|
| |
llvm-svn: 74517
|
|
|
|
|
|
|
| |
Remove ASTContext parameter from DeclContext's methods. This change cascaded down to other Decl's methods and changes to call sites started "escalating".
Timings using pre-tokenized "cocoa.h" showed only a ~1% increase in time run between and after this commit.
llvm-svn: 74506
|
|
|
|
|
|
|
|
| |
subclasses.
Timings showed no significant difference before and after the commit.
llvm-svn: 74504
|
|
|
|
|
|
|
|
|
| |
The implementations of these methods can Use Decl::getASTContext() to get the ASTContext.
This commit touches a lot of files since call sites for these methods are everywhere.
I used pre-tokenized "carbon.h" and "cocoa.h" headers to do some timings, and there was no real time difference between before the commit and after it.
llvm-svn: 74501
|
|
|
|
| |
llvm-svn: 74136
|
|
|
|
| |
llvm-svn: 73702
|
|
|
|
|
|
|
|
|
|
|
| |
methods, class methods, and property implementations) and instead
place all of these entities into the DeclContext.
This eliminates more linear walks when looking for class or instance
methods and should make PCH (de-)serialization of ObjCDecls trivial
(and lazy).
llvm-svn: 69849
|
|
|
|
|
|
|
|
| |
lazy PCH deserialization. Propagate that argument wherever it needs to
be. No functionality change, except that I've tightened up a few PCH
tests in preparation.
llvm-svn: 69406
|
|
|
|
| |
llvm-svn: 68275
|
|
|
|
|
|
|
|
|
|
|
| |
uses of getName() with uses of getDeclName(). This upgrades a bunch of
diags to take DeclNames instead of std::strings.
This also tweaks a couple of diagnostics to be cleaner and changes
CheckInitializerTypes/PerformInitializationByConstructor to pass
around DeclarationNames instead of std::strings.
llvm-svn: 59947
|
|
|
|
| |
llvm-svn: 56402
|
|
|
|
|
|
| |
@synthesize.
llvm-svn: 54050
|
|
|
|
|
|
|
| |
Refine the error message of unused ivars.
Added test case.
llvm-svn: 53957
|
|
|
|
| |
llvm-svn: 53953
|
|
llvm-svn: 53942
|