Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-12-14 11:39:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
49,004 Commits 13 Branches 0 Tags 2.1 GiB
dfaeaed0f6
Commit Graph

912 Commits

Author SHA1 Message Date
Ted Kremenek
e66ca6f35a For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. 
llvm-svn: 53098
 2008-07-03 14:35:01 +00:00
Ted Kremenek
1d3c797c90 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail 
on functions we cannot construct full CFGs for yet.

llvm-svn: 53081
 2008-07-03 05:26:14 +00:00
Ted Kremenek
0e7d25233e Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. 
llvm-svn: 53075
 2008-07-03 04:29:21 +00:00
Ted Kremenek
c7efb536d5 Unify the code path for the Dead Stores checker to always use the BugReporter interface. 
llvm-svn: 53054
 2008-07-02 23:16:33 +00:00
Ted Kremenek
b1d0118a1a Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. 
Split BugReporter into BugReporter and GRBugReporter so checkers not based on GRExprEngine can still use the BugReporter mechanism.

llvm-svn: 53048
 2008-07-02 21:24:01 +00:00
Ted Kremenek
125d4a3b2d GRExprEngine now expects the LiveVariables information to be provided by its creator. 
This allows an optimization in AnalysisConsumer where the same LiveVariables information is used between multiple analyses.

llvm-svn: 53046
 2008-07-02 20:13:38 +00:00
Ted Kremenek
d8ca1f6dd9 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. 
Modified the DeadStores logic in AnalysisConsumer.cpp to use the LiveVariables object created by the AnalysisManager.

llvm-svn: 53043
 2008-07-02 18:39:20 +00:00
Ted Kremenek
f992cfb4ab Moved logic for -dump-cfg and -view-cfg into AnalysisConsumer. 
Renamed -dump-cfg to -cfg-dump, and -view-cfg to -cfg-view.  This naming better matches the same options for asts (e.g. -ast-dump).

llvm-svn: 53041
 2008-07-02 18:23:21 +00:00
Ted Kremenek
bdbe6130f4 Move -dump-live-variables logic to AnalysisConsumer. 
llvm-svn: 53039
 2008-07-02 18:11:29 +00:00
Ted Kremenek
71ac83246f Migrate CheckerConsumer diagnostics to the new AnalysisConsumer interface. 
Remove CheckerConsumer.

llvm-svn: 53029
 2008-07-02 16:49:11 +00:00
Ted Kremenek
becec2cbbc Move logic for "-checker-simple" to the new AnalysisConsumer interface. 
llvm-svn: 53028
 2008-07-02 16:35:50 +00:00
Ted Kremenek
8e631a0267 Migrated driver logic for running the CF retain/release checker over to the new AnalysisConsumer interface. 
llvm-svn: 53002
 2008-07-02 00:44:58 +00:00
Ted Kremenek
f0413bfcda Added AnalysisConsumer, a meta-level ASTConsumer class to drive various 
analyses. This potentially is the primordial origins of a Clang-equivalent
"PassManager".

The new AnalysisConsumer interface allows multiple analyses to be run from a
single invocation of Clang.

Migrated the logic of "-warn-dead-stores" and "-warn-uninit-values" to use the
new AnalysisConsumer interface. The new interface results in a significant code
reduction to incorporate an analysis into the Driver.

Updated a test case to (correctly) acknowledge that it contains a dead store
(this check wasn't being performed because it was previously masked by
-warn-uninit-values).

llvm-svn: 52996
 2008-07-02 00:03:09 +00:00
Matthijs Kooijman
0fb56e50b1 Make clang work on 32 bit powerpc linux. 
Patch by Nick Lewycky!

llvm-svn: 52777
 2008-06-26 08:39:30 +00:00
Matthijs Kooijman
70574af7d8 Link in LLVMAnalysis after LLVMCodeGen, since the latter depends on the former 
since LLVM r52748.

llvm-svn: 52776
 2008-06-26 08:37:29 +00:00
Chris Lattner
d46944d639 a temporary minimal hack to get clang building after the getStringValue changes in llvm mainline. 
llvm-svn: 52753
 2008-06-26 04:05:20 +00:00
Ted Kremenek
675a6e6dfa Patch by Anders Bergh: 
'There's not much to say about this patch, it just adds the Arch Linux
gcc 4.3.1 header paths for i686 and amd64. The patch was generated
using "svn diff" with clang at revision 52660. The paths aren't
distribution-specific, so they should work for all Linux distributions
using the default(?) names like "i686-pc-linux-gnu".'

llvm-svn: 52665
 2008-06-24 03:33:47 +00:00
Chris Lattner
0f2b471730 Implement printing for ObjCClassDecl's, patch by Jean-Daniel Dupas! 
llvm-svn: 52598
 2008-06-21 21:40:20 +00:00
Chris Lattner
a9b3cae8fd Switch 'super' from being a weird cast thing to being a predefined expr node. 
Patch by David Chisnall with objc rewriter and stmtdumper updates from me.

llvm-svn: 52580
 2008-06-21 18:04:54 +00:00
Ted Kremenek
c64511152a Updated call to dead stores to use proper arguments. 
llvm-svn: 52560
 2008-06-20 21:55:29 +00:00
Chris Lattner
5696e7badf Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. 
Patch by David Chisnall!

llvm-svn: 52422
 2008-06-17 18:05:57 +00:00
Argyrios Kyrtzidis
351008da17 Allow -parse-noop -verify options to be used together. 
llvm-svn: 52249
 2008-06-13 12:15:34 +00:00
Argyrios Kyrtzidis
554a07bab3 -Changes to TagDecl: 
Added TagKind enum.
  Added getTagKind() method.
  Added convenience methods: isEnum(), isStruct(), isUnion(), isClass().
-RecordDecl/CXXRecordDecl::Create() accept a TagKind enum instead of a DeclKind one.

llvm-svn: 52160
 2008-06-09 23:19:58 +00:00
Eli Friedman
8233993fc6 Get -serialize working again, plus a bit of minor cleanup. 
llvm-svn: 52152
 2008-06-09 20:02:51 +00:00
Ted Kremenek
92611db88f Use a common SourceManager when processing multiple files. This allows us to cache the contents of source files already loaded from disk. 
llvm-svn: 52066
 2008-06-06 22:42:39 +00:00
Ted Kremenek
3ad519441f Fix crash when running with multiple source files. This can be improved. 
llvm-svn: 52032
 2008-06-06 01:47:30 +00:00
Ted Kremenek
b147ad1051 Moved LangOptions from TranslationUnit to ASTContext. This induced a variety of cleanups in some ASTConsumers. 
llvm-svn: 51943
 2008-06-04 15:55:15 +00:00
Chris Lattner
f4fee9e1e5 make rewrite macros insert a space when commenting out macros where the token didn't 
lead with a space.

llvm-svn: 51896
 2008-06-03 06:10:17 +00:00
Steve Naroff
f611964230 Fix <rdar://problem/5976164> clang ObjC rewriter: for ... in enumeration inserts undeclared function (objc_enumerationMutation should be in preamble) 
llvm-svn: 51880
 2008-06-02 20:23:21 +00:00
Chris Lattner
d3f3231a07 Two identifiers are not the same unless they have the same identifier info. 
llvm-svn: 51827
 2008-05-31 22:01:01 +00:00
Ted Kremenek
380df93fd6 Added "InitializeTU" to ASTConsumer. This is used by Sema::ParseAST to pass a 
TranslationUnit object instead of an ASTContext. By default it calls
Initialize(ASTConstext& Context) (to match with the current interface used by
most ASTConsumers).

Modified the ObjC-Rewriter to use InitializeTU, and to tell the TranslationUnit
to not free its Decls.  This is a workaround for: <rdar://problem/5966749>

llvm-svn: 51825
 2008-05-31 20:11:04 +00:00
Steve Naroff
cd92aebd1f Fix <rdar://problem/5917992> clang ObjC rewriter: #end from #if statement lost in translation. 
Some fancy footwork to accommodate embedded preprocessor directives within an interface.

llvm-svn: 51815
 2008-05-31 14:15:04 +00:00
Steve Naroff
930e099b90 Fix <rdar://problem/5969777> clang ObjC rewriter: #imported file name mysteriously commented out 
This fix involved tightening up needToScanForQualifiers(), which predated ObjCQualifiedIdType.
It also includes a minor tweak to the code that searches for the beginning of the qualified type. If the AST contained the correct beginning of the declaration (i.e. the beginning of the declaration specifiers), this code would be more robust. Since it doesn't, we apply an adhoc heuristic. Note that DeclSpec contains this info...we just don't propagate it to the AST (at present).

llvm-svn: 51812
 2008-05-31 05:02:17 +00:00
Steve Naroff
a6141f0780 Hack RewriteObjC::RewriteObjCStringLiteral() to include the filename in the generated code (replacing any non-alphanumeric characters with "_"). This allows header files to contain ObjCStringLiterals. 
llvm-svn: 51811
 2008-05-31 03:35:42 +00:00
Ted Kremenek
a3774667d3 Correctly preserve the order between -F and -I options. 
llvm-svn: 51803
 2008-05-31 00:27:00 +00:00
Ted Kremenek
6bb6d9f197 Use llvm:🆑:desc for description of the -Wimplicit-function-declaration option. 
Patch by Holger Schurig!

llvm-svn: 51774
 2008-05-30 16:42:02 +00:00
Eli Friedman
35c01c6f2d Fix crash with -serialize (reported to cfe-dev). The issue was 
essentially that we were destroying the declarations twice.

(Note that we don't use -serialize directly in the testsuite, only 
SerializeTest.)

llvm-svn: 51768
 2008-05-30 11:28:30 +00:00
Chris Lattner
8c80070de2 Implement support for -w, which silences all warnings. PR2384. 
llvm-svn: 51683
 2008-05-29 15:36:45 +00:00
Chris Lattner
34873d2134 give location info to another paren expr. 
llvm-svn: 51646
 2008-05-28 16:38:23 +00:00
Chris Lattner
37f5b7d39c minor changes, collect the range of an expr before rewriting the subexprs 
no functionality change.

llvm-svn: 51497
 2008-05-23 20:40:52 +00:00
Steve Naroff
fd16687b9a Make sure method definitions get output with -ast-dump. 
llvm-svn: 51494
 2008-05-23 18:50:58 +00:00
Ted Kremenek
0954b4564e Update driver include paths to work on darwin10. 
llvm-svn: 51431
 2008-05-22 15:26:22 +00:00
Dan Gohman
1627ae7c48 Explicitly #include Support/Streams.h when using llvm::cout and friends. 
llvm-svn: 51391
 2008-05-21 20:19:16 +00:00
Eli Friedman
b158b4a47b Fix the destruction "properly" in the sense that we actually destroy the 
ASTs.  This is a hack, but I haven't considered how we really 
want to do this.

llvm-svn: 51364
 2008-05-21 05:33:10 +00:00
Steve Naroff
ad91868aa6 Fix rewriter bug <rdar://problem/5929344> clang ObjC rewriter: "extern int __CFConstantStringClassReference[];" should be extern "C". 
Have clang predefine OBJC_NEW_PROPERTIES (which is what gcc does).

llvm-svn: 51163
 2008-05-15 21:12:10 +00:00
Chris Lattner
14196c099f Implement -rewrite-macros, which is a crazy macro expander that expands 
macros but doesn't expand #includes, remove comments, remove #defines
etc.

For example:

----
#include <stdio.h>

#define bbaa
#define funclike(x) x "a" x "b" x

bbaa  bbaa

#if 1 
funclike("gar")
foo /*blah*/  bar
bar
#endif

#if 0
funclike()
#endif
----


rewrites to:

----
#include <stdio.h>

#define bbaa
#define funclike(x) x "a" x "b" x 

/*bbaa  bbaa*/

#if 1
 "gar" "a" "gar" "b" "gar"/*funclike*//*("gar")*/
foo /*blah*/  bar
bar
#endif

#if 0
/*funclike()*/
#endif
----

llvm-svn: 50925
 2008-05-10 00:02:33 +00:00
Chris Lattner
664ef65981 make #if 0 code compile, even though it still isn't very useful. 
llvm-svn: 50920
 2008-05-09 22:43:24 +00:00
Steve Naroff
d30f8c5b54 Fix <rdar://problem/5924225> clang ObjC rewriter: objc_exception_throw declaration in preamble does not match objc/objc-exception.h. 
llvm-svn: 50915
 2008-05-09 21:17:56 +00:00
Steve Naroff
2e4e385a58 Make sure the prototype for objc_msgSend_fpret() returns a double. 
llvm-svn: 50873
 2008-05-08 22:02:18 +00:00
Steve Naroff
b1c02371cd Fix <rdar://problem/5879237> clang objc rewriter: ivars not accessible in structure generated for class 
llvm-svn: 50862
 2008-05-08 17:52:16 +00:00
Sanjiv Gupta
15cb669039 Added -g command line options to clang for generating source level debug information. This patch currently enables generation of line number debug information (stoppoints) and region begin/end debug information. The new files CGDebugInfo.h and CGDebugInfo.cpp implements the debug info manager class CGDebugInfo. 
llvm-svn: 50848
 2008-05-08 08:54:20 +00:00
Sanjiv Gupta
cd13ef01a2 Remove the ending "." from clang options descriptions. 
llvm-svn: 50847
 2008-05-08 08:28:14 +00:00
Chris Lattner
3c04ff00c2 start implementation of a macro rewriter, this is currently just stubbed out. 
llvm-svn: 50845
 2008-05-08 06:52:13 +00:00
Steve Naroff
30ac2225ee Fix <rdar://problem/5887874> clang ObjC rewriter: Use a different name for 'offsetof' macro 
llvm-svn: 50832
 2008-05-07 21:23:49 +00:00
Fariborz Jahanian
ec6e4c8096 This patch introduces declaration of getter methods for ObjC2's 
properties. Couple of property tests will fail with this patch.
Will fix them next.

llvm-svn: 50818
 2008-05-07 17:43:59 +00:00
Steve Naroff
cab93d58c3 Fix <rdar://problem/5908598> clang ObjC rewriter: typo in #pragma at end 
llvm-svn: 50790
 2008-05-07 00:06:16 +00:00
Ted Kremenek
e6d2419351 Improve HTMLDiagnostics by understanding the "Below" hint. 
llvm-svn: 50783
 2008-05-06 23:42:18 +00:00
Steve Naroff
29ce4e5d78 Fix <rdar://problem/5879237> clang objc rewriter: ivars not accessible in structure generated for class 
llvm-svn: 50781
 2008-05-06 23:20:07 +00:00
Fariborz Jahanian
eeb7fae063 Print ObjC methods of ObjC classes. 
llvm-svn: 50779
 2008-05-06 23:14:25 +00:00
Steve Naroff
ac81a5aad5 Fix <rdar://problem/5888515> clang ObjC rewriter: Use objc.h for declarations instead of putting them in the preamble? 
llvm-svn: 50774
 2008-05-06 22:45:19 +00:00
Steve Naroff
13e74879b0 Fix <rdar://problem/5881225> clang ObjC Rewriter: Protocol structure defined twice when two interfaces use it in same file 
llvm-svn: 50767
 2008-05-06 18:26:51 +00:00
Fariborz Jahanian
09367d68ff Patch to refactor setter/getter names of property attributes into Selector 
(was IdentifierInfo * before). This will make method declartations whole
lot easier.

llvm-svn: 50747
 2008-05-06 18:09:04 +00:00
Chris Lattner
00e2607de2 Add support for -Wimplicit-function-declaration, rdar://5907433 
llvm-svn: 50672
 2008-05-05 21:18:06 +00:00
Fariborz Jahanian
8d91686b0d percolate @optional/@required protocols down to ASTs for 
properties declared in the protocol.

llvm-svn: 50662
 2008-05-05 18:51:55 +00:00
Chris Lattner
de977c0a5c Fix PR2281: these two warnings should be promoted to error on 
pedantic error.  Perhaps I should add a class of 'extension' that is
'extension that warns by default', which would be cleaner.

llvm-svn: 50633
 2008-05-04 23:52:02 +00:00
Ted Kremenek
5f56cbbf7d Output better paths to display in bug reports and compute a common 
prefix for all files.

llvm-svn: 50592
 2008-05-02 22:04:53 +00:00
Ted Kremenek
789942cfda When running the reference count checker twice (GC and non-GC mode), only emit 
basic warnings (dead stores, null dereferences) on the first pass.

llvm-svn: 50584
 2008-05-02 18:01:49 +00:00
Ted Kremenek
b0f87c48cb added preliminary diagnostics in scan-build results to denote whether 
a CF memory leak occurred with GC enabled, etc.

llvm-svn: 50507
 2008-04-30 23:47:44 +00:00
Ted Kremenek
4d1f422c6f Provide the option to run the CF-retain checker in GC enabled mode. 
The transfer functions for the checker don't do anything special yet in GC mode.

llvm-svn: 50394
 2008-04-29 05:13:59 +00:00
Ted Kremenek
d796c18d7b Add -fobjc-gc and -fobjc-gc-only options to the driver. 
Add corresponding enum in LangOptions.

llvm-svn: 50387
 2008-04-29 04:37:03 +00:00
Ted Kremenek
64fa3beccc Better handling for directory names in HTML diagnostics. Work in progress. 
llvm-svn: 50234
 2008-04-24 23:37:03 +00:00
Ted Kremenek
467297ab48 TranslationUnit now owns IdentifierTable, TargetInfo, and Selectors objects 
when it is constructed via deserialization.  This is done by recording a flag
indicating that this is the case, and it deletes these objects by getting
the references stored in the ASTContext object.  This fixes some memory
leaks that occurs when we deserialize translation units from bitcode files.

The rationale between having TranslationUnit sometimes own these objects and
sometimes not is that a TranslationUnit object can be constructed from
state generated by the parser (Preprocessor; semantic analyzer, etc.), and thus
in these cases won't own the IdentifierTable or Selectors, etc.  During
deserialization, there is no Preprocessor, so somebody needs to own these
objects in order for them to be properly reclaimed.

llvm-svn: 50149
 2008-04-23 16:25:39 +00:00
Fariborz Jahanian
6efdf1ddab Patch to build AST for property implementation declarations and 
to print declaration from its AST.

llvm-svn: 50117
 2008-04-23 00:06:01 +00:00
Ted Kremenek
9718c9e8ee PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring 
them to not be stack-allocated.

HTMLDiagnostics now batches PathDiagnostics before emitting HTML in its dtor.
This is a workaround for a problem when we trampled the Preprocessor state
when highlighting macros (sometimes resulting in an assertion failure).

llvm-svn: 50102
 2008-04-22 16:15:03 +00:00
Ted Kremenek
076d13387d html::EscapeText (using the Rewriter) now replaces tabs by default. 
llvm-svn: 49982
 2008-04-20 01:02:33 +00:00
Chris Lattner
1a44f7fce9 simplify the return of InitializePreprocessor to be bool instead of a fileid 
llvm-svn: 49974
 2008-04-19 23:25:44 +00:00
Chris Lattner
ba1f37bfdf simplify ownership of the predefines buffer. 
llvm-svn: 49973
 2008-04-19 23:09:31 +00:00
Steve Naroff
472cf88ef2 Remove bogus cast (<rdar://problem/5874848> clang objc-rewriter: structure with list of protocols has wrong cast). 
llvm-svn: 49935
 2008-04-18 22:15:15 +00:00
Steve Naroff
24840f6748 Implement FIXME discoved by <rdar://problem/5874876> Rewriter: Explicit ivar refs outside a method are being rewritten 
llvm-svn: 49932
 2008-04-18 21:55:08 +00:00
Steve Naroff
dcdcdcdfef Fix <rdar://problem/5874697> Rewriter: method arguments with complex types not being rewritten properly. 
llvm-svn: 49925
 2008-04-18 21:13:19 +00:00
Ted Kremenek
71c41d9561 Restore macro expansion for HTMLPrint by using the original Preprocessor. 
This is a workaround until we figure out why a freshly create Preprocessor
doesn't expand macros from headers.

llvm-svn: 49897
 2008-04-18 05:35:23 +00:00
Ted Kremenek
9e48b0c4ed Fixed range highlighting bug in HTML diagnostics. 
llvm-svn: 49893
 2008-04-18 05:01:33 +00:00
Ted Kremenek
f42f3fb47d class Preprocessor: Now owns the "predefines" char*; it deletes [] it in its dstor. 
clang.cpp: InitializePreprocessor now makes a copy of the contents of PredefinesBuffer and
  passes it to the preprocessor object.
  
clang.cpp: DriverPreprocessorFactory now calls "InitializePreprocessor" instead of this being done in main().

html::HighlightMacros() now takes a PreprocessorFactory, allowing it to conjure up a new
Preprocessor to highlight macros.

class HTMLDiagnostics now takes a PreprocessorFactory* that it can use for html::HighlightMacros().
Updated clients of HTMLDiagnostics to use this new interface.

llvm-svn: 49875
 2008-04-17 22:31:54 +00:00
Chris Lattner
7c7e9b3bbe Handle text escaping (e.g. & -> &amp;) last, to avoid interactions between 'replace' operations and insert operations. This fixes a problem with "&;&" on line 666 of the gcc.c example I sent out. 
llvm-svn: 49874
 2008-04-17 22:24:51 +00:00
Ted Kremenek
306492d8cb Generate the Preprocessor using a local PreprocessorFactory object. 
While this adds no extra functionality now, we will soon pass the
PreprocessorFactory object to some ASTConsumers.

llvm-svn: 49873
 2008-04-17 21:38:34 +00:00
Ted Kremenek
aabc986766 Temporarily disable macro expansion in the HTML output of HTMLDiagnostics to 
avoid corrupting Preprocessor state.  Working on a fix.

llvm-svn: 49864
 2008-04-17 18:39:57 +00:00
Ted Kremenek
8bb90b8152 HAve HTMLDiagnostics use html::HighlightRange to highlight message ranges. 
llvm-svn: 49863
 2008-04-17 18:37:23 +00:00
Fariborz Jahanian
8e36cddde0 Added property decl support for protocols. 
Added assertion if unexpected property decls are found where they don't belong.
Consolidated property decl. printing by using a helper function.

llvm-svn: 49862
 2008-04-17 18:25:18 +00:00
Nate Begeman
36c49278b5 Allow redirecting text diagnostic printer output to any llvm::OStream, rather 
than hard coding llvm::cerr.

llvm-svn: 49860
 2008-04-17 18:06:57 +00:00
Argyrios Kyrtzidis
c3b69ae815 Addition of TranslationUnitDecl to the AST: 
-Added TranslationUnitDecl class to serve as top declaration context
-ASTContext gets a TUDecl member and a getTranslationUnitDecl() function
-All ScopedDecls get the TUDecl as DeclContext when declared at global scope

llvm-svn: 49855
 2008-04-17 14:40:12 +00:00
Fariborz Jahanian
9d981eb9ae This patch adds support for declaraing properties in categories, 
just as they are declared in objc classes.

llvm-svn: 49817
 2008-04-16 21:08:45 +00:00
Ted Kremenek
2e4d0ecaa3 Added fixme. 
llvm-svn: 49797
 2008-04-16 16:53:18 +00:00
Ted Kremenek
f2e6fcf3bf Hook up HTMLDiagnostics to use Chris's new syntax highlighting. --html-diags 
currently doesn't pass in the Preprocessor from the driver, so we don't get
syntax highlighting when we create HTMLDiagnostics in that way.

llvm-svn: 49796
 2008-04-16 16:39:56 +00:00
Chris Lattner
a5a75e7a10 split syntax highlighting of macros from keywords and comments, 
allowing us to use a cheaper means to highlight keywords and making
it so that comments won't foul up macro expansions.

Start highlighting macro expansions.

llvm-svn: 49779
 2008-04-16 06:32:08 +00:00
Chris Lattner
060d8aa2ed Add a mode of hackily syntax highlighting comments. This has a number of 
problems, including the fact that it doesn't work well with multi-line 
comments due to Ted's crazy table.  However, that could be fixed, and it
does work with single-line ones :).

llvm-svn: 49778
 2008-04-16 06:11:58 +00:00
Chris Lattner
dffe0f7db5 Add -o support for -emit-html, make it not produce a file on an error. 
llvm-svn: 49777
 2008-04-16 05:21:09 +00:00
Ted Kremenek
088d12e741 Remove "--html-test" driver option and its corresponding code; all of this 
functionality has been migrated into "--emit-html" and "--html-diags".

llvm-svn: 49776
 2008-04-16 04:38:45 +00:00
Chris Lattner
e4dd37ce0a speed up -emit-html in a release build by 6.5% by avoiding std::string. 
llvm-svn: 49764
 2008-04-16 03:46:57 +00:00
Steve Naroff
08899ff85d Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). 
This is a fairly mechanical/large change. As a result, I avoided making any changes/simplifications that weren't directly related. I did break two Analysis tests. I also have a couple FIXME's in UninitializedValues.cpp. Ted, can you take a look? If the bug isn't obvious, I am happy to dig in and fix it (since I broke it).

llvm-svn: 49748
 2008-04-15 22:42:06 +00:00
Ted Kremenek
7d6219f501 For HTML diagnostics, output more information about a bug report. 
llvm-svn: 49742
 2008-04-15 21:25:08 +00:00
Ted Kremenek
044eb055af Handle "__private_extern__" storage class when printing FunctionDecls. 
llvm-svn: 49706
 2008-04-15 03:57:09 +00:00
Fariborz Jahanian
0152a1a5db New AST representation for each objc2's property declaration. 
llvm-svn: 49699
 2008-04-14 23:36:35 +00:00
Steve Naroff
c5e5b38a8f Remove bogus token... 
llvm-svn: 49695
 2008-04-14 22:53:48 +00:00
Steve Naroff
a8f0d12e81 Rename a file and update the Xcode project. 
llvm-svn: 49693
 2008-04-14 22:05:54 +00:00
Steve Naroff
1dc53ef494 Rename RewriteTest->RewriteObjC. 
llvm-svn: 49692
 2008-04-14 22:03:09 +00:00
Steve Naroff
4fff2a08aa Fix comment. 
llvm-svn: 49688
 2008-04-14 21:39:16 +00:00
Ted Kremenek
d61ed3b6cb Use isFromMainFile instead of comparing FileIDs directly. 
llvm-svn: 49687
 2008-04-14 21:24:13 +00:00
Ted Kremenek
9569e57a50 Use SourceManager::isFromMainFile() 
llvm-svn: 49685
 2008-04-14 21:14:41 +00:00
Ted Kremenek
13ad6e1234 Convert over to new SourceManager::isFromMainFile() instead of doing direct 
FileID comparison (fixes insidious corner case with chunks).

llvm-svn: 49684
 2008-04-14 21:14:03 +00:00
Ted Kremenek
bb2b224159 HTMLDiagnostics now uses the new "getCanonicalID()", "isFromMainFileID()" methods from 
SourceManager when doing HTML pretty-printing.  This resolves an insidious bug when
presenting error reports that only occurred in large source files.

llvm-svn: 49683
 2008-04-14 21:06:04 +00:00
Ted Kremenek
751d4d2d60 Added driver option "-checker-opt-analyze-headers" to force the static 
analyzer to analyze functions declared in header files.

llvm-svn: 49675
 2008-04-14 18:40:58 +00:00
Sam Bishop
cb1a37b145 Handle -D and -U options in order, so that they can cancel each other out when 
intermixed.

llvm-svn: 49645
 2008-04-14 14:41:57 +00:00
Fariborz Jahanian
4572b45574 AST generation for objc2's property declarations. 
llvm-svn: 49565
 2008-04-11 23:40:25 +00:00
Chris Lattner
47fb9efa5d Fix rdar://5843510 don't assert and die when an invalid output 
file is specified, print a happy little error message.

llvm-svn: 49518
 2008-04-11 06:14:11 +00:00
Ted Kremenek
22bd628056 Fix some bonehead bugs in summary generation in CFRefCount. 
llvm-svn: 49503
 2008-04-10 22:58:08 +00:00
Ted Kremenek
4a78c3ae11 Refactored all logic to run the GRSimpleVals and CFRef checker into a common 
code path in the clang driver.

Renamed options --grsimple to -checker-simple and -check-cfref to -checker-cfref.

llvm-svn: 49500
 2008-04-10 22:16:52 +00:00
Ted Kremenek
d4db4fa359 For -emit-html, use the Rewriter to expand tabs. 
llvm-svn: 49409
 2008-04-08 23:25:54 +00:00
Ted Kremenek
5f7ece0bff Don't expand tabs in EscapeText, but rather expand them when writing out 
the HTML file.  This should reduce the amount of memory pressure on the
rewriter for files that have a lot of tabs.

llvm-svn: 49406
 2008-04-08 22:37:58 +00:00
Ted Kremenek
d8256ed2fe Improve range highlighting in HTMLDiagnostic to correctly highlight ranges 
that span multiple lines by inserting multiple "</span>" and "<span>" tags.

llvm-svn: 49403
 2008-04-08 21:29:14 +00:00
Chris Lattner
4fdfbf7b89 silence some warnings when assertions are disabled. 
llvm-svn: 49372
 2008-04-08 05:52:18 +00:00
Chris Lattner
aa9c7aed0f Add support for C++ default arguments, and rework Parse-Sema 
interaction for function parameters, fixing PR2046.

Patch by Doug Gregor!

llvm-svn: 49369
 2008-04-08 04:40:51 +00:00
Chris Lattner
2163265b53 Fix rdar://5846705: "clang -E foo.c -o foo.i" should remove foo.i on error. 
llvm-svn: 49368
 2008-04-08 04:16:20 +00:00
Chris Lattner
0a5ff0d34a This patch contains these changes: 
-Renamed ContextDecl -> DeclContext
-Removed DeclContext pointer from FieldDecl
-EnumDecl inherits from DeclContext, instead of TagDecl

Patch by Argiris Kirtzidis!

llvm-svn: 49261
 2008-04-06 04:47:34 +00:00
Chris Lattner
9d51f2b9d4 Fix handling of implicit int, resolving PR2012 and reverting (and 
subsuming) my patch for PR1999.

llvm-svn: 49251
 2008-04-05 06:32:51 +00:00
Steve Naroff
4dbab8a49d Avoid implicitly including any header files (requested by ckane). 
llvm-svn: 49241
 2008-04-04 22:58:22 +00:00
Steve Naroff
af91b9ae13 Rewrite @package (an ObjC 2.0 idiom). 
llvm-svn: 49238
 2008-04-04 22:34:24 +00:00
Steve Naroff
eae91700de Fix MS-specific bug in RewriteTest::RewriteObjCMethodDecl(). 
llvm-svn: 49237
 2008-04-04 22:23:44 +00:00
Chris Lattner
c5ffed4a66 Introduce ContextDecl, patch by Argiris Kirtzidis! 
-Added ContextDecl (no TranslationUnitDecl)
-ScopedDecl class has a ContextDecl member
-FieldDecl class has a ContextDecl member, so that a Field or a ObjCIvar can be traced back to their RecordDecl/ObjCInterfaceDecl easily
-FunctionDecl, ObjCMethodDecl, TagDecl, ObjCInterfaceDecl inherit from ContextDecl. With TagDecl as ContextDecl, enum constants have a EnumDecl as their context.
-Moved Decl class to a "DeclBase.h" along with ContextDecl class
-CurContext is handled by Sema

llvm-svn: 49208
 2008-04-04 06:12:32 +00:00
Ted Kremenek
b5c8225320 Use logical line number for BUGLINE. 
llvm-svn: 49178
 2008-04-03 17:55:57 +00:00
Ted Kremenek
b73d6dda84 Added guard for printing out PathDiagnostics whose last element ends with 
a piece with a SourceLocation that does not have a FileID.

llvm-svn: 49151
 2008-04-03 07:13:10 +00:00
Sam Bishop
03e662d5be Call delete on the deserialized TranslationUnit object. 
llvm-svn: 49136
 2008-04-03 05:03:34 +00:00
Ted Kremenek
258493c188 Added path sequence numbers in HTML output of PathDiagnostics. 
llvm-svn: 49116
 2008-04-02 21:04:20 +00:00
Ted Kremenek
3276af4c1a Embed BUGLINE, BUGFILE, BUGPATHLENGTH in the emitted HTML file. 
llvm-svn: 49114
 2008-04-02 20:44:16 +00:00
Ted Kremenek
13c0885a8d Put "BUGDESC" comment tag on its own line. 
llvm-svn: 49103
 2008-04-02 18:03:20 +00:00
Ted Kremenek
e6eed29125 Embed "DESC" tag in HTML reports. 
llvm-svn: 49084
 2008-04-02 07:04:46 +00:00
Chris Lattner
595cf9ff81 Update to match simplified llvm MemoryBuffer interfaces for files. 
llvm-svn: 49042
 2008-04-01 18:04:30 +00:00
Ted Kremenek
a9590d1c0d Embed linkable IDs in message bubbles. 
llvm-svn: 49005
 2008-03-31 23:30:12 +00:00
Ted Kremenek
3bcfc6edc0 Better handling for tabs with message bubbles. 
llvm-svn: 49001
 2008-03-31 23:14:05 +00:00
Ted Kremenek
01fa5d2a1e When emitting HTML messages, take into account margin fusing due to tabs. 
llvm-svn: 48998
 2008-03-31 21:40:14 +00:00
Ted Kremenek
c27815ca82 Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removed 
GRSimpleVals.h

Added a PathDiagnosticClient option to the driver functions for the
CFRefCountChecker and the GRSimpleVals analysis. Both analyses now accept a "-o"
argument from the driver that specifies where HTML reports should be dumped.

llvm-svn: 48989
 2008-03-31 18:26:32 +00:00
Ted Kremenek
9c7deb8d25 Disable timing diagnostics for GRSimpleVals. 
llvm-svn: 48981
 2008-03-31 16:00:32 +00:00
Steve Naroff
f9e7c90129 Only have the rewriter produce a file when there are no errors. 
llvm-svn: 48926
 2008-03-28 22:26:09 +00:00
Steve Naroff
60a9ef67e2 Add some of Ted's recent work to the VC++ project file. 
Fix a couple bozo bugs in the rewriter.

llvm-svn: 48903
 2008-03-27 22:59:54 +00:00
Steve Naroff
00a317694b Collect all the preamble code and don't insert it until the end. 
llvm-svn: 48899
 2008-03-27 22:29:16 +00:00
Ted Kremenek
30560caa3d For HTMLDiagnostics, when emitting the name of the directory, substitute the current working directory for "." 
llvm-svn: 48888
 2008-03-27 17:25:28 +00:00
Ted Kremenek
561dfe3153 Add html::EscapeText for std::string; use this function to escape text in message bubbles. 
llvm-svn: 48884
 2008-03-27 17:15:29 +00:00
Ted Kremenek
ed9f054a9c Don't emit any timings for GRSimple if the CFG is not going to be built. 
llvm-svn: 48882
 2008-03-27 17:14:42 +00:00
Ted Kremenek
8d5491f40c Output directory as well as file name. 
llvm-svn: 48870
 2008-03-27 07:39:04 +00:00
Ted Kremenek
8cc4842a76 Added <h3> tag in HTML file output that contains the name of the source file. 
llvm-svn: 48869
 2008-03-27 07:35:49 +00:00
Ted Kremenek
6efb026623 Added "HTMLDiagnostic", a generic DiagnosticClient (that also implements PathDiagnostic) 
so that all diagnostics can be piped to HTML files instead of as text diagnostics using --html-diags.

llvm-svn: 48865
 2008-03-27 06:17:42 +00:00
Ted Kremenek
c875201ee1 Fixed copy-paste error. 
llvm-svn: 48863
 2008-03-27 05:52:45 +00:00
Steve Naroff
65838bb2d5 Add a couple files to VC++ project and cleanup an "#if 0". 
llvm-svn: 48748
 2008-03-24 22:03:25 +00:00
Andrew Lenharth
10051b97fd debian amd64 testing 
llvm-svn: 48745
 2008-03-24 21:39:05 +00:00
Andrew Lenharth
d8cde6f45d debian ia32 testing 
llvm-svn: 48742
 2008-03-24 21:25:48 +00:00
Chris Lattner
97d496c182 Teach the rewriter how to respect the -o option. 
llvm-svn: 48669
 2008-03-22 00:08:40 +00:00
Ted Kremenek
bc24962566 Added HTML highlighting for ranges. 
llvm-svn: 48572
 2008-03-19 23:55:53 +00:00
Ted Kremenek
1651b7cd2d Misc. cleanups to HTML printing: make code rendered using tables; add 
better div positioning for messages.

llvm-svn: 48555
 2008-03-19 21:59:05 +00:00
Ted Kremenek
216624ce58 Initial experimentation with adding boxed "annotations" to HTMLized source. 
llvm-svn: 48540
 2008-03-19 07:53:42 +00:00
Ted Kremenek
966da4acc3 Moved generation of html header/footer with builtin CSS to the rewriter library. 
llvm-svn: 48537
 2008-03-19 06:14:37 +00:00
Ted Kremenek
3f8392626b More cleanups to the HTML rewriter (with line formatting), with better 
pretty-printing of line numbers.

llvm-svn: 48533
 2008-03-19 05:07:26 +00:00
Ted Kremenek
5ddff02861 More cleanups to HTML rewriter API: remove the InsertTag method; was too complicated 
and clients can achieve a cleaner design just by inserting tags directly.  Reserve
the "html" namespace for meta-level operations (e.g., escaping text, etc.)

llvm-svn: 48524
 2008-03-19 01:30:02 +00:00
Ted Kremenek
8800ae68a0 More HTML rewriter cleanups. Preliminary CSS support in code pretty-printing. 
llvm-svn: 48518
 2008-03-18 23:55:46 +00:00
Ted Kremenek
5792cebb08 Some cleanups to the HTMLRewrite API. Added support for printing out line 
numbers (more work to be done on aesthetics).

llvm-svn: 48512
 2008-03-18 23:08:51 +00:00
Ted Kremenek
b0c409a235 Added HTML pretty-printer. 
llvm-svn: 48507
 2008-03-18 22:21:07 +00:00
Ted Kremenek
7dcc82220e Added the beginning of a set of rewriter functions for pretty-printing source 
code as HTML.  Added a new driver option "--emit-html" to dump the source
of the main input file as HTML.

llvm-svn: 48505
 2008-03-18 21:19:49 +00:00
Steve Naroff
327f0f4c3a Fix <rdar://problem/5716940> rewriter generates invalid C code when no selector found. 
llvm-svn: 48479
 2008-03-18 02:02:04 +00:00
Steve Naroff
034bcb5bfa Wrap up __NSConstantStringImpl (the replacement for __builtin___CFStringMakeConstantString). 
llvm-svn: 48477
 2008-03-18 01:47:18 +00:00
Chris Lattner
5bb4ee20cd clean up iteration over propertydecls. 
llvm-svn: 48435
 2008-03-17 01:24:41 +00:00
Chris Lattner
ed0e16404c clean up property memory allocation to move it into the ast classes 
like the rest of the classes.

llvm-svn: 48434
 2008-03-17 01:19:02 +00:00
Chris Lattner
41eec3d097 make property addition work list all other "add" methods. Do 
the allocation in the class, not in sema.

llvm-svn: 48433
 2008-03-16 21:23:50 +00:00
Chris Lattner
8d1c04f53a Convert more counts to be zero based instead of -1 based, make them unsigned. 
llvm-svn: 48429
 2008-03-16 21:08:55 +00:00
Chris Lattner
acc04a9261 minor cleanups, make getNumInstanceMethods always return unsigned. 
llvm-svn: 48423
 2008-03-16 20:19:15 +00:00
Chris Lattner
011b0f5c5a Make the parameter count of ObjCMethodDecl unsigned, you 
can't have negative arguments.

llvm-svn: 48407
 2008-03-16 01:07:14 +00:00
Chris Lattner
ee1284a6e2 switch the rest of the C decl classes to do their 
allocation through ASTContext.

llvm-svn: 48403
 2008-03-16 00:16:02 +00:00
Chris Lattner
96c460d142 move the ASTContext argument to be first in the argument list of 
all Create methods.

llvm-svn: 48398
 2008-03-15 21:32:50 +00:00
Chris Lattner
5072bae709 Switch over functiondecl. This makes it obvious that the ASTContext 
argument to Create should be first, not last.

llvm-svn: 48397
 2008-03-15 21:24:04 +00:00
Chris Lattner
4b08ca8f2e switch the VarDecl allocation model to go through ASTContext. 
llvm-svn: 48396
 2008-03-15 21:10:16 +00:00
Chris Lattner
a7b3287760 start switching decls over to using an allocator controlled by ASTContext. 
Right now only some ctors are switched over.  I need to switch them all
over so I can change the dtor over.

This lets us experiment with region allocation and other things in the 
future.

llvm-svn: 48390
 2008-03-15 06:12:44 +00:00
Steve Naroff
dad80ba9b1 Link against the correct ObjC string class (__CFConstantStringClassReference) and fix length computation (removing a FIXME). 
llvm-svn: 48384
 2008-03-15 01:36:04 +00:00
Steve Naroff
ce8e886731 Remove ObjC rewriter dependency on GCC's __builtin___CFStringMakeConstantString. 
llvm-svn: 48383
 2008-03-15 00:55:56 +00:00
Ted Kremenek
9abb59f9cc Emit warnings for undefined control-flow. 
llvm-svn: 48368
 2008-03-14 18:14:50 +00:00
Ted Kremenek
7b00d15bc5 Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing 
a block of "code".

Patched various ASTConsumers (such as ASTDumper) to have more support for
processing ObjCMethodDecl. CFGVisitor now builds CFGs for ObjCMethodDecls.

llvm-svn: 48363
 2008-03-14 17:31:00 +00:00
Chris Lattner
e8ec280627 Only compute targetinfo once and don't leak it. Patch by Sam Bishop! 
llvm-svn: 48358
 2008-03-14 06:12:05 +00:00
Ted Kremenek
1fdd0a480e The LiveVariables analysis no longer requires a FunctionDecl&; this allows it 
to be run on other declarations of blocks of code (e.g., Objective-C methods.)

llvm-svn: 48339
 2008-03-13 16:55:07 +00:00
Ted Kremenek
b64d183803 Added bandaid support in CFG construction for ObjCForEachStmt and ObjCAtTryStmt: 
we gracefully back out and return NULL for the CFG, allowing clients to skip
analyzing functions with these CFGs. We will add support later.

Modified base ASTConsumer "CFGVisitor" to detect when a CFG is not constructed
and to emit a warning.

llvm-svn: 48322
 2008-03-13 03:04:22 +00:00
Steve Naroff
35cb7960e3 Two fixes to RewriteTest::RewriteObjCIvarRefExpr(): 
- For explicit ivar refers, make sure the cast is propagated to the AST.
- Don't free the base (since it is still in use).
This fixes the recent regression to test/Rewriter/objc-ivar-receiver-1.m.

llvm-svn: 48309
 2008-03-12 23:15:19 +00:00
Steve Naroff
ffb5f9ad93 Minor aesthetic improvement (after I reviewed my last commit). 
llvm-svn: 48304
 2008-03-12 21:22:52 +00:00
Steve Naroff
9f33bd2c34 Avoid using the "unnamed struct field" extension (enabled with -fms-extensions). This feature/extension silently does the wrong thing in g++. As far as I can tell, g++ simply throws the field away entirely (note that it works fine with gcc). Since I am now always casting the object (for other reasons), accessing protected/public fields simply requires the cast refer to the defining class. This solution is simpler all around (thanks to Chris for suggesting it). 
llvm-svn: 48302
 2008-03-12 21:09:20 +00:00
Steve Naroff
b327e49047 Use the "used" attribute. Without it, g++ removes all the meta-data:-( This doesn't happen when compiling straight C code. 
llvm-svn: 48287
 2008-03-12 17:18:30 +00:00
Steve Naroff
5d5efca405 -Add missing visitor for ObjCIvarRefExpr. 
-Wrap objc runtime calls with "extern "C"" (for now).

llvm-svn: 48284
 2008-03-12 13:19:12 +00:00
Steve Naroff
251084d03e Remove more dependencies on C "flexible array member" idiom (when generating meta-data). 
llvm-svn: 48271
 2008-03-12 01:06:30 +00:00
Steve Naroff
dc5b6b2e5d Make ivar rewrite C++ friendly (since C++ forces a unified namespace for typedefs/structures). The previous version of the rewriter generated both a type def and structure def for each class (which doesn't fly in C++). 
llvm-svn: 48266
 2008-03-12 00:25:36 +00:00
Steve Naroff
0b844f053f Make "super" rewrite for class methods C++ friendly (follow-up from last commit). 
llvm-svn: 48235
 2008-03-11 18:14:26 +00:00
Steve Naroff
17978c4dcb Make "super" rewrite C++ friendly (since it doesn't support Compound Literals). 
llvm-svn: 48230
 2008-03-11 17:37:02 +00:00
Steve Naroff
c5b9cc70ce Generate meta-data in a C++ compatible way (remove 2 dependencies on C "flexible array member" idiom and perform some extra casts). 
llvm-svn: 48202
 2008-03-11 00:12:29 +00:00
Steve Naroff
14a0746b13 Missed a couple "_IMPL" suffixes. 
llvm-svn: 48191
 2008-03-10 23:33:22 +00:00
Steve Naroff
a1e115ee57 Fix dangling pointer and give the implementation struct for a class a unique name. 
llvm-svn: 48190
 2008-03-10 23:16:54 +00:00
Steve Naroff
945a3b145a Pass LangOptions to RewriteTest(). 
llvm-svn: 48172
 2008-03-10 20:43:59 +00:00
Chris Lattner
0d799d3957 Add some missing #includes for GCC mainline, patch by Shantonu Sen! 
llvm-svn: 48153
 2008-03-10 17:04:53 +00:00
Chris Lattner
6af064641f Fix a ted-o 
llvm-svn: 48089
 2008-03-09 05:25:01 +00:00