summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.Jordan Rose2012-06-114-4/+144
| | | | | | | | | | | | While collections containing nil elements can still be iterated over in an Objective-C for-in loop, the most common Cocoa collections -- NSArray, NSDictionary, and NSSet -- cannot contain nil elements. This checker adds that assumption to the analyzer state. This was the cause of some minor false positives concerning CFRelease calls on objects in an NSArray. llvm-svn: 158319
* [analyzer] When looking for a known class, only traverse the hierarchy once.Jordan Rose2012-06-111-48/+50
| | | | | | | | | This has a small hit in the case where only one class is interesting (NilArgChecker) but is a big improvement when looking for one of several interesting classes (VariadicMethodTypeChecker), in which the most common case is that there is no match. llvm-svn: 158318
* Enable -Wunused-private-field with -Wunused.Benjamin Kramer2012-06-112-2/+2
| | | | | | | It found a lot of cruft in LLVM that I removed last week and I couldn't find any false positives. Time to give it more testing. llvm-svn: 158317
* We were computing the visibility and linkage of template parameters, butRafael Espindola2012-06-112-6/+99
| | | | | | | | | only using the linkage. Use and test both, documenting that considering the visibility and linkage of template parameters is a difference from gcc. llvm-svn: 158309
* [clang.py] Implement SourceLocation.from_offsetGregory Szorc2012-06-112-0/+23
| | | | llvm-svn: 158307
* Add XOP shift and compare intrinsics.Craig Topper2012-06-113-7/+188
| | | | llvm-svn: 158300
* Documentation cleanup, fixing Doxygen markup. Mostly this avoids common termsJames Dennett2012-06-115-20/+20
| | | | | | | | | | | | | | such as "protocol" and "expression" being implicitly turned into links to mistakenly-generated Doxygen pages: - Escaping @ symbols when Doxygen would otherwise incorrectly interpret them; - Escaping # symbols when they're not intended as explicit Doxygen link requests, such as when discussing preprocessor directives; - In one odd case, unescaping @ in @__experimental_modules_import, because Doxygen wrote '\@' to the output in that case, causing the example in the description of ImportDecl to be wrong; and - Fixing a typo: @breif -> @brief. llvm-svn: 158299
* Const'ify CompilerInvocation::toArgs().Argyrios Kyrtzidis2012-06-112-2/+2
| | | | llvm-svn: 158298
* PR12964: __int128 and unsigned __int128 are promoted integral types, be sure toRichard Smith2012-06-103-20/+38
| | | | | | consider them when enumerating builtin operator candidates. llvm-svn: 158293
* Add XOP vprot* instruction intrinsicsCraig Topper2012-06-103-0/+89
| | | | llvm-svn: 158292
* Remove CXXRecordDecl flags which are unused after r158289.Richard Smith2012-06-106-152/+22
| | | | | | | | | | | | | | | | | | | | | We need an efficient mechanism to determine whether a defaulted default constructor is constexpr, in order to determine whether a class is a literal type, so keep the incrementally-built form on CXXRecordDecl. Remove the on-demand computation of same, so that we only have one method for determining whether a default constructor is constexpr. This doesn't affect correctness, since default constructor lookup is much simpler than selecting a constructor for copying or moving. We don't need a corresponding mechanism for defaulted copy or move constructors, since they can't affect whether a type is a literal type. Conversely, checking whether such functions are constexpr can require non-trivial effort, so we defer such checks until the copy or move constructor is required. Thus we now only compute whether a copy or move constructor is constexpr on demand, and only compute whether a default constructor is constexpr in advance. This is unfortunate, but seems like the best solution. llvm-svn: 158290
* Fix PR13052 properly, by performing special member lookup to determine whetherRichard Smith2012-06-102-16/+175
| | | | | | | | | | an explicitly-defaulted default constructor would be constexpr. This is necessary in weird (but well-formed) cases where a class has more than one copy or move constructor. Cleanup of now-unused parts of CXXRecordDecl to follow. llvm-svn: 158289
* PR13064: Store whether an in-class initializer uses direct or copyRichard Smith2012-06-1024-115/+143
| | | | | | | initialization, and use that information to produce the right kind of initialization during template instantiation. llvm-svn: 158288
* More XOP intrinsicsCraig Topper2012-06-103-0/+219
| | | | llvm-svn: 158287
* Begin adding XOP intrinsicsCraig Topper2012-06-105-1/+197
| | | | llvm-svn: 158286
* Fix the top-of-file comment in Attr.h to say that it's about attributes, notJames Dennett2012-06-091-1/+1
| | | | | | expressions. llvm-svn: 158285
* Add XOP feature flag.Craig Topper2012-06-092-8/+31
| | | | llvm-svn: 158284
* Add CSS style for FAQ questions, and restate FAQ questions as actual questions.Ted Kremenek2012-06-092-7/+22
| | | | llvm-svn: 158282
* Wordsmith a bit, and turn </h1> into </h4> when appropriate.Ted Kremenek2012-06-091-6/+8
| | | | llvm-svn: 158281
* [clang.py] Implement Cursor.is_static_methodGregory Szorc2012-06-092-0/+26
| | | | llvm-svn: 158277
* Reorder ParsedTemplateArg's members to reduce padding on x86_64.Benjamin Kramer2012-06-091-5/+5
| | | | llvm-svn: 158275
* Replace a char counting helper function with std::count.Benjamin Kramer2012-06-091-12/+2
| | | | | | No functionality change. llvm-svn: 158272
* Replace constant-sized BitVector with std::bitset.Benjamin Kramer2012-06-091-4/+3
| | | | llvm-svn: 158270
* [libclang] When doing the cursor visitation make sure declarationsArgyrios Kyrtzidis2012-06-094-1/+70
| | | | | | | | | | | | | | | in the same line do not override getting a cursor for the previous declaration. e.g: int x, y; @synthesize prop1, prop2; pointing at 'x'/'prop1' would give 'y'/'prop2' because their source ranges overlap. rdar://11361113 llvm-svn: 158258
* [analyzer] FAQ page fixupAnna Zaks2012-06-091-1/+1
| | | | llvm-svn: 158254
* [analyzer] Add FAQ and How to Deal with Common False Positives pageAnna Zaks2012-06-094-0/+50
| | | | | | Still not linked in; comments and additions are very welcome. llvm-svn: 158253
* [C++11 Compat] Fix breaking change in C++11 pair copyctor.Michael J. Spencer2012-06-081-2/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | While this code is valid C++98, it is not valid C++11. The problem can be reduced to: class MDNode; class DIType { operator MDNode*() const {return 0;} }; class WeakVH { WeakVH(MDNode*) {} }; int main() { DIType di; std::pair<void*, WeakVH> p(std::make_pair((void*)0, di))); } This was not detected by any of the bots we have because they either compile C++98 with libstdc++ (which allows it), or C++11 with libc++ (which incorrectly allows it). I ran into the problem when compiling with VS 2012 RC. Thanks to Richard for explaining the issue. llvm-svn: 158245
* Correct method name in comment: from LexRawToken to LexFromRawLexer, accordingDmitri Gribenko2012-06-082-6/+6
| | | | | | to a change done long ago in r57393. llvm-svn: 158243
* Convert comments to proper Doxygen comments.Dmitri Gribenko2012-06-087-23/+23
| | | | llvm-svn: 158241
* Warn in ObjC++ when an 'auto' variable deduces type 'id'.Jordan Rose2012-06-083-1/+37
| | | | | | | | | | | | | | | | | | | | This could happen for cases like this: - (NSArray *)getAllNames:(NSArray *)images { NSMutableArray *results = [NSMutableArray array]; for (auto img in images) { [results addObject:img.name]; } return results; } Here the property access will fail because 'img' has type 'id', rather than, say, NSImage. This warning will not fire in templated code, since the 'id' could have come from a template parameter. llvm-svn: 158239
* Add a test for r158229 (overlapping fixits). This was PR10696!Jordan Rose2012-06-081-0/+13
| | | | llvm-svn: 158238
* PR13051: Only suggest the 'template' and 'operator' keywords when performingRichard Smith2012-06-082-2/+24
| | | | | | typo-correction after a scope specifier. llvm-svn: 158231
* Disallow using ObjC literals in direct comparisons (== and friends).Jordan Rose2012-06-085-9/+266
| | | | | | | | | | | | | | | Objective-C literals conceptually always create new objects, but may be optimized by the compiler or runtime (constant folding, singletons, etc). Comparing addresses of these objects is relying on this optimization behavior, which is really an implementation detail. In the case of == and !=, offer a fixit to a call to -isEqual:, if the method is available. This fixit is directly on the error so that it is automatically applied. Most of the time, this is really a newbie mistake, hence the fixit. llvm-svn: 158230
* If fixits appear to overlap, move the second one over in the output.Jordan Rose2012-06-081-6/+14
| | | | | | | | This occurs when you have two insertions and the first one is so long that the second fixit's column is before the first fixit ends. The edits themselves don't actually overlap, but our command-line preview does. llvm-svn: 158229
* PR13051: If a constructor is explicitly defaulted, it isn't marked as beingRichard Smith2012-06-086-7/+85
| | | | | | | | | | | | constexpr until we get to the end of the class definition. When that happens, be sure to remember that the class actually does have a constexpr constructor. This is a stopgap solution, which still doesn't cover the case of a class with multiple copy constructors (only some of which are constexpr). We should be performing constructor lookup when implicitly defining a constructor in order to determine whether all constructors it invokes are constexpr. llvm-svn: 158228
* Remove a commented out variable declaration. This was originally a debuggingRichard Trieu2012-06-081-1/+0
| | | | | | variable which wasn't removed when the original patch was committed. llvm-svn: 158225
* [analyzer] MallocSizeofChecker false positive: when sizeof is argumentAnna Zaks2012-06-082-7/+3
| | | | | | | | | | | | | | to addition. We should not to warn in case the malloc size argument is an addition containing 'sizeof' operator - it is common to use the pattern to pack values of different sizes into a buffer. Ex: uint8_t *buffer = (uint8_t*)malloc(dataSize + sizeof(length)); llvm-svn: 158219
* Disable _Pragma during HTML macro rewriting to keep from crashing.Jordan Rose2012-06-085-2/+26
| | | | | | | | | | | | | | | | | | | The preprocessor's handling of diagnostic push/pops is stateful, so encountering pragmas during a re-parse causes problems. HTMLRewrite already filters out normal # directives including #pragma, so it's clear it's not expected to be interpreting pragmas in this mode. This fix adds a flag to Preprocessor to explicitly disable pragmas. The "right" fix might be to separate pragma lexing from pragma parsing so that we can throw away pragmas like we do preprocessor directives, but right now it's important to get the fix in. Note that this has nothing to do with the "hack" of re-using the input preprocessor in HTMLRewrite. Even if we someday copy the preprocessor instead of re-using it, the copy would (and should) include the diagnostic level tables and have the same problems. llvm-svn: 158214
* Switch LineTableInfo to use FileID instead of int for file references,Douglas Gregor2012-06-084-17/+18
| | | | | | from Tom Honermann! llvm-svn: 158211
* [libclang] Don't crash when saving a PCH from a prefix headerArgyrios Kyrtzidis2012-06-085-6/+19
| | | | | | | | that does not exist. rdar://11607033 llvm-svn: 158193
* [libclang] Add a triple to test/Index/index-decls.mArgyrios Kyrtzidis2012-06-081-1/+1
| | | | llvm-svn: 158192
* [libclang/AST]Argyrios Kyrtzidis2012-06-083-3/+29
| | | | | | | | | | | | | AST: For auto-synthesized ivars give them the location of the related property (previously they had no source location). This allows them to be indexed by libclang. libclang: Make sure synthesized ivars are indexed before the methods that may reference them. Fixes rdar://11607001. llvm-svn: 158189
* [analyzer] Use "issue hash" in CmpRuns; followup on r158180Anna Zaks2012-06-081-3/+11
| | | | | | | (For the future: It would be more efficient to produce a hash key with the embedded function info inside the compiler.) llvm-svn: 158187
* Allow friend declarations of defaulted special member functions. OnlyRichard Smith2012-06-082-1/+7
| | | | | | definitions of such members are prohibited, not mere declarations. llvm-svn: 158186
* Fix up the 'typename' suggestion logic introduced in r157085, based onKaelyn Uhrain2012-06-082-12/+13
| | | | | | feedback from Doug Gregor. llvm-svn: 158185
* PR13047: Fix various abuses of clang::Type in the MS mangler, to make it workRichard Smith2012-06-082-14/+23
| | | | | | in the presence of type sugar. llvm-svn: 158184
* Fix typo "CursorKind.CONDITONAL_OPERATOR" in Python bindings, fromDouglas Gregor2012-06-081-1/+1
| | | | | | Manish Verma! llvm-svn: 158182
* Rename a test case to a more generic name. This is a completely uselessChandler Carruth2012-06-081-0/+0
| | | | | | | test, but David Sehr is looking at spiffing it up and adding some proper tests for our alloca codegen. llvm-svn: 158181
* [analyzer] Add experimental "issue hash" to the plist diagnostic.Anna Zaks2012-06-085-0/+48
| | | | | | | | | | | | | | CmpRuns.py can be used to compare issues from different analyzer runs. Since it uses the issue line number to unique 2 issues, adding a new line to the beginning of a file makes all issues in the file reported as new. The hash will be an opaque value which could be used (along with the function name) by CmpRuns to identify the same issues. This way, we only fail to identify the same issue from two runs if the function it appears in changes (not perfect, but much better than nothing). llvm-svn: 158180
* [analyze] Change some of the malloc tests to use clang_analyzer_eval.Anna Zaks2012-06-081-13/+8
| | | | | | Thanks, Jordan. llvm-svn: 158179
OpenPOWER on IntegriCloud