Ted Kremenek [Tue, 26 Oct 2010 00:06:13 +0000 (00:06 +0000)]
Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117334
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 25 Oct 2010 23:51:23 +0000 (23:51 +0000)]
Add infrastructure for emitting TBAA metadata with the "constant" flag.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117328
91177308-0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Mon, 25 Oct 2010 23:27:26 +0000 (23:27 +0000)]
Patch for mis-compile of statement expressions with
non-trivial copy constructors. // rdar: //
8540501.
A test will be added to llvm nightly tests.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117324
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 25 Oct 2010 21:59:29 +0000 (21:59 +0000)]
Trim an unnecessary #include.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117321
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 25 Oct 2010 21:48:30 +0000 (21:48 +0000)]
Factor out the code for creating the Root and Char nodes, so that
they can be used outside of the main getTBAAInfo function.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117320
91177308-0d34-0410-b5e6-
96231b3b80d8
Eric Christopher [Mon, 25 Oct 2010 21:17:59 +0000 (21:17 +0000)]
Add and describe a quick script to migrate gcc builtins that clang doesn't
know about to the default APIs for x86 vector operations.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117313
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Mon, 25 Oct 2010 20:48:33 +0000 (20:48 +0000)]
Look through the address-of operator to find the function being
called. Fixes another aspect of PR8314.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117308
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Mon, 25 Oct 2010 20:39:23 +0000 (20:39 +0000)]
When we're calling a function that we know based on its K&R-style
function definition, we should still use a prototype to type-check and
convert the function arguments, if such a prototype exists. Fixes
PR8314.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117305
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Mon, 25 Oct 2010 20:20:56 +0000 (20:20 +0000)]
Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117300
91177308-0d34-0410-b5e6-
96231b3b80d8
David Chisnall [Mon, 25 Oct 2010 17:23:52 +0000 (17:23 +0000)]
Only warn for mismatched types in Objective-C methods when they are incompatible, not when they are simply different. Now we test whether the difference in types breaks the principle of substitutability, rather than whether they are different.
A common idiom in Objective-C is to provide a definition of a method in a subclass that returns a more-specified version of an object than the superclass. This does not violate the principle of substitutability, because you can always use the object returned by the subclass anywhere that you could use the type returned by the superclass. It was, however, generating warnings with clang, leading people to believe that semantically correct code was incorrect and requiring less accurate type specification and explicit down-casts (neither of which is a good thing to encourage).
This change ensures that any method definition has parameter and return types that make it accept anything that something conforming to the declaration may pass and return something that the caller will expect, but allows stricter definitions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117271
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 25 Oct 2010 08:47:36 +0000 (08:47 +0000)]
Improve the tracking of source locations for parentheses in constructor calls.
This adds them where missing, and traces them through PCH. We fix at least one
bug in the extents found by the Index library, and make a lot of refactoring
tools which care about the exact formulation of a constructor call easier to
write. Also some minor cleanups to more consistently follow the friend pattern
instead of the setter pattern when rebuilding a serialized AST.
Patch originally by Samuel Benzaquen.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117254
91177308-0d34-0410-b5e6-
96231b3b80d8
Marcin Swiderski [Mon, 25 Oct 2010 07:05:54 +0000 (07:05 +0000)]
Added generation of destructors for member constant size arrays.
There's only one destructor call generated for each not empty array (at least for now this should be enough).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117252
91177308-0d34-0410-b5e6-
96231b3b80d8
Marcin Swiderski [Mon, 25 Oct 2010 07:00:40 +0000 (07:00 +0000)]
Added generation of destructors for constant size arrays.
There's only one destructor call generated for each not empty array (at least for now this should be enough).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117251
91177308-0d34-0410-b5e6-
96231b3b80d8
Peter Collingbourne [Sun, 24 Oct 2010 18:30:18 +0000 (18:30 +0000)]
Implement GNU C extension: two types are compatible if they appear
as a function argument, one of the types is a transparent union type
and the other type is compatible with a union member
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117243
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:54 +0000 (17:26 +0000)]
Keep track in chained PCH of implicit members that were added after the definition was completed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117240
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:50 +0000 (17:26 +0000)]
Start fleshing out ASTMutationListener; notify when a tag definition is completed.
In that case a chained PCH will record the updates to the DefinitionData pointer of forward references.
If a forward reference mutated into a definition re-write it into the chained PCH, this is too big of a change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117239
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:46 +0000 (17:26 +0000)]
Introduce a DeclsToRewrite field in ASTWrite, used for collecting the decls that will be replaced in the chained PCH.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117238
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:43 +0000 (17:26 +0000)]
Some method renaming, no functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117237
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:40 +0000 (17:26 +0000)]
Refactoring.
- Pass around RecordDataImpl instead of the concrete RecordData so that any SmallVector can be used.
- Move ASTDeclWriter::WriteCXXDefinitionData to ASTWriter::AddCXXDefinitionData.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117236
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:36 +0000 (17:26 +0000)]
Put the mechanism in place to track modifications in an AST entity that were committed after
its initial creation/deserialization and store the changes in a chained PCH.
The idea is that the AST entities call methods on the ASTMutationListener to give notifications
of changes; the PCHWriter implements the ASTMutationListener interface and stores the incremental changes
of the updated entity. WIP
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117235
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:31 +0000 (17:26 +0000)]
Simplify and "robust-ify" the way that CXXRecord references point to the definition data when loaded from PCH.
Temporary disable 'test/PCH/chain-cxx.cpp' until a better way to fix it is in place.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117234
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Sun, 24 Oct 2010 17:26:27 +0000 (17:26 +0000)]
Minor refactoring; Pull reading/writing DefinitionData out into a function.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117233
91177308-0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sun, 24 Oct 2010 12:51:00 +0000 (12:51 +0000)]
Fix tyop.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117225
91177308-0d34-0410-b5e6-
96231b3b80d8
Marcin Swiderski [Sun, 24 Oct 2010 08:21:40 +0000 (08:21 +0000)]
- Fixed subexpressions evaluation order for binary operators to match order in code generated with the compiler,
- Fixed test cases for unreachable code warnings produced by Sema.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117220
91177308-0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sun, 24 Oct 2010 04:28:00 +0000 (04:28 +0000)]
Move the "used but marked unused" warning behind a special warning flag for now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117219
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Sat, 23 Oct 2010 16:06:17 +0000 (16:06 +0000)]
C++ [basic.scope.hiding] allows an ordinary name to hide a non-tag
name *in the same scope*, but not across scopes. Implement the
highlighted condition.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117212
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Sat, 23 Oct 2010 08:44:57 +0000 (08:44 +0000)]
Update remaining attribute macros to new style.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117204
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Sat, 23 Oct 2010 08:21:37 +0000 (08:21 +0000)]
Update to use 'LLVM_*' macro names for attributes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117201
91177308-0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Fri, 22 Oct 2010 23:37:08 +0000 (23:37 +0000)]
Warn if a variable marked with the "unused" attribute is used. Patch by Darin Adler!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117184
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Fri, 22 Oct 2010 23:36:17 +0000 (23:36 +0000)]
Parse attributes on enumerators and instantiate attributes on enum decls.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117182
91177308-0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Fri, 22 Oct 2010 23:35:40 +0000 (23:35 +0000)]
Minor tweak so that fixit-errors.c is never compiled; it crashes and pops up a crash dialog on my system.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117181
91177308-0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Fri, 22 Oct 2010 22:35:51 +0000 (22:35 +0000)]
Update compatibility page for objective-c.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117168
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Fri, 22 Oct 2010 22:24:08 +0000 (22:24 +0000)]
Teach clang_getCursorReferenced() and friends about BlockDeclRefExprs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117167
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Fri, 22 Oct 2010 22:08:47 +0000 (22:08 +0000)]
In the presence of using declarations, we can find the same class
members in class subobjects of different types. So long as the
underlying declaration sets are the same, and the declaration sets
involve non-instance members, this is not an ambiguity.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117163
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Oct 2010 22:08:32 +0000 (22:08 +0000)]
Fix a horrible bug in all dataflow analyses that use CFGRecStmtVisitor (including live variables analysis).
We shouldn't recurse into CompoundStmts since they are already inlined in the CFG. This could result in
bogus dead stores warnings (among other things).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117162
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Oct 2010 22:08:29 +0000 (22:08 +0000)]
Fix '-analyzer-display-progress' for Objective-C methods. Also remove obsolete code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117161
91177308-0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Fri, 22 Oct 2010 22:05:40 +0000 (22:05 +0000)]
Test emoved.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117160
91177308-0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Fri, 22 Oct 2010 22:05:03 +0000 (22:05 +0000)]
After discussion with Doug and John, I am reverting
the patch.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117159
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 22 Oct 2010 21:07:10 +0000 (21:07 +0000)]
Change handling of inline asm 'p' constraint to match llvm-gcc.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117149
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Fri, 22 Oct 2010 21:05:15 +0000 (21:05 +0000)]
Substantially revise how clang computes the visibility of a declaration to
more closely parallel the computation of linkage. This gets us to a state
much closer to what gcc emits, modulo bugs, which will undoubtedly arise in
abundance.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117147
91177308-0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Fri, 22 Oct 2010 21:01:02 +0000 (21:01 +0000)]
Patch fixes miscompile with non-trivial copy constructors and
statement expressions, //rdar: //
8540501
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117146
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Fri, 22 Oct 2010 18:56:27 +0000 (18:56 +0000)]
Delay record type's debug info emission, in -flimit-debug-info mode, if member expression's base is call expr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117127
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Fri, 22 Oct 2010 18:31:12 +0000 (18:31 +0000)]
Revert unintentional check-in.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117120
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Fri, 22 Oct 2010 17:36:51 +0000 (17:36 +0000)]
When we perform name lookup for a template, we may end up finding an
ambiguous name where none of the declarations found are actually
templates. In this case, make sure we clear out the ambiguous-path
data when recomputing the lookup result kind. Fixes PR8439.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117112
91177308-0d34-0410-b5e6-
96231b3b80d8
Oscar Fuentes [Fri, 22 Oct 2010 17:16:39 +0000 (17:16 +0000)]
Don't try to guess svn version when current path is a symlink.
See PR 8473.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117110
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Fri, 22 Oct 2010 17:11:50 +0000 (17:11 +0000)]
Tidy up MIPS_linkage name. Provide it only if it does not match regular name, otherwise it confuses debugger.
This is tested by local.C in llvmgcc testsuite.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117107
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Fri, 22 Oct 2010 16:48:22 +0000 (16:48 +0000)]
More class anonymization.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117106
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Fri, 22 Oct 2010 16:33:16 +0000 (16:33 +0000)]
Move classes into anonymous namespaces.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117104
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Fri, 22 Oct 2010 15:24:46 +0000 (15:24 +0000)]
When performing name lookup for a namespace definition, only look into
the current context's redeclaration context, ignoring using
directives. Fixes PR8430.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117097
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 23:17:00 +0000 (23:17 +0000)]
Teach the C++ simple-type-specifier parser and tentative parses about
protocol-qualified types such as id<Protocol>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117081
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 20:55:34 +0000 (20:55 +0000)]
Update clang_getCursor() test to check searches on include directives
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117063
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 21 Oct 2010 18:50:04 +0000 (18:50 +0000)]
Rename clang's TBAA tree root from "experimental" to "simple".
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117046
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Oct 2010 18:49:42 +0000 (18:49 +0000)]
Tweak diagnostics for redeclaration of a @property in a class extension where the redelcaration and original
declaration have the 'readwrite' attribute. This is a common case, and we can issue a more lucid diagnostic.
Fixes <rdar://problem/
7629420>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117045
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Oct 2010 18:49:36 +0000 (18:49 +0000)]
Tidy up comment (remove extraneous text).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117044
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 21 Oct 2010 18:49:12 +0000 (18:49 +0000)]
Add some more comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117043
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 18:04:08 +0000 (18:04 +0000)]
Implement the integral promotion rules for the C++0x char16_t and
char32_t character types and enable built-in overloaded operator
candidates for these types. Fixes PR8432.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117038
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 17:26:49 +0000 (17:26 +0000)]
Diagnose the declaration of template template parameters that
themselves have no template parameters. This is actually a restriction
due to the grammar of template template parameters, but we choose to
diagnose it in Sema to provide better recovery.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117032
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 16:57:46 +0000 (16:57 +0000)]
Always treat 'main' as an extern "C" function, so that we detect
redeclarations of main appropriately rather than allowing it to be
overloaded. Also, disallowing declaring main as a template.
Fixes GCC DejaGNU g++.old-deja/g++.other/main1.C.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117029
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 16:21:08 +0000 (16:21 +0000)]
When checking whether a return statement returns a stack-local
variable, handle conditional operators involving a
throw-expression. Fixes GCC DejaGNU's g++.dg/template/cond4.C.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117027
91177308-0d34-0410-b5e6-
96231b3b80d8
Francois Pichet [Thu, 21 Oct 2010 16:14:56 +0000 (16:14 +0000)]
Revert r117005, WIN32 is not predefined after all.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117026
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Oct 2010 15:38:55 +0000 (15:38 +0000)]
Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is
nil. Otherwise we can get false paths where a second @synchronized using the mutex
can have a bogus warning. Fixes <rdar://problem/
8578650>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117016
91177308-0d34-0410-b5e6-
96231b3b80d8
Francois Pichet [Thu, 21 Oct 2010 09:39:28 +0000 (09:39 +0000)]
MSVC defines WIN32 as a predefined macro.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117005
91177308-0d34-0410-b5e6-
96231b3b80d8
Michael J. Spencer [Thu, 21 Oct 2010 08:22:51 +0000 (08:22 +0000)]
Targets: Fix MinGW and VisualStudio predefined macros.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117003
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 21 Oct 2010 06:10:04 +0000 (06:10 +0000)]
Improve the implementation of libclang's token-annotation logic for
entities in the preprocessing record. Previously, we would only end up
getting the first token of a preprocessing record annotated
correctly. For example, given
#include "foo.h"
we would only get the '#' annotated as an inclusion directive; the
'include' and '"foo.h"' tokens would be given the general 'processing
directive' annotation.
Now, we get proper annotations for entities in the preprocessing
record.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117001
91177308-0d34-0410-b5e6-
96231b3b80d8
Michael J. Spencer [Thu, 21 Oct 2010 05:23:48 +0000 (05:23 +0000)]
Add test for Windows predefined macros.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117000
91177308-0d34-0410-b5e6-
96231b3b80d8
Michael J. Spencer [Thu, 21 Oct 2010 05:21:48 +0000 (05:21 +0000)]
Reorganize predefined macros for all Windows targets.
This adds an option to set the _MSC_VER macro without
recompiling. This is very useful when testing compatibility
with the Windows SDK and c++stdlib headers.
-fmsc-version=<version> (defaults to VS2003 (1300))
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116999
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Oct 2010 04:00:58 +0000 (04:00 +0000)]
Previously, the printf warnings would say your arguments type was 'int' when it was really a 'char'
or a 'short'. This fixes that and allows the hints to suggest 'h' modifiers for small ints.
Patch by Justin Bogner!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116996
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Oct 2010 04:00:51 +0000 (04:00 +0000)]
Remove unused variable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116995
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Thu, 21 Oct 2010 03:59:06 +0000 (03:59 +0000)]
putback r116782, it's a safe fix and should not break windows
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116994
91177308-0d34-0410-b5e6-
96231b3b80d8
Michael J. Spencer [Thu, 21 Oct 2010 03:16:25 +0000 (03:16 +0000)]
Fix Whitespace.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116990
91177308-0d34-0410-b5e6-
96231b3b80d8
Michael J. Spencer [Thu, 21 Oct 2010 03:14:35 +0000 (03:14 +0000)]
Revert "Cleanup and fix predefined macros for windows."
Didn't realize this was on my branch ;/.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116989
91177308-0d34-0410-b5e6-
96231b3b80d8
Michael J. Spencer [Thu, 21 Oct 2010 03:13:04 +0000 (03:13 +0000)]
Cleanup and fix predefined macros for windows.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116988
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Silverstein [Thu, 21 Oct 2010 00:44:50 +0000 (00:44 +0000)]
Pass TInfo to CXXDestructorDecl::Create(), just like we do for other
function decls.
Reviewed by rjmccall and nlewycky.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116979
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Wed, 20 Oct 2010 23:52:37 +0000 (23:52 +0000)]
revert r116782 & r116793 to fix msvc9 buildbots
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116976
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Wed, 20 Oct 2010 23:48:42 +0000 (23:48 +0000)]
When implicit members are added to a C++ record, notify the serializer so that a chained PCH writes the definition again.
Thanks to Doug for the hint!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116975
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Wed, 20 Oct 2010 23:48:40 +0000 (23:48 +0000)]
Modify the assumptions of an assert; the updated latest redeclaration can have the same location
if it's a template specialization pointing at the template.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116974
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 20 Oct 2010 23:48:34 +0000 (23:48 +0000)]
Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116973
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 20 Oct 2010 23:38:56 +0000 (23:38 +0000)]
Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116971
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 20 Oct 2010 22:00:55 +0000 (22:00 +0000)]
Extend the preprocessing record and libclang with support for
inclusion directives, keeping track of every #include, #import,
etc. in the translation unit. We keep track of the source location and
kind of the inclusion, how the file name was spelled, and the
underlying file to which the inclusion resolved.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116952
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 20 Oct 2010 21:22:15 +0000 (21:22 +0000)]
Call clang_disposeTokens() when we are done with the set of tokens.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116946
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Silverstein [Wed, 20 Oct 2010 21:13:35 +0000 (21:13 +0000)]
Get FunctionDecl to recurse on FunctionTypeLoc rather than
FunctionType! I didn't realize it was available, until rjmccall
pointed out that DeclaratorDecl made the typeloc available. This
makes FunctionDecl recursion *much* easier, because the typeloc can
take care of default parameters, so we no longer have to do that
separately, which means we can just do a normal type traversal instead
of this special-case WalkUp stuff we did before.
The only downside -- and it's minor -- is that because the TypeLoc
handles both the return type and the argument types, we can't recurse
on the explicit template args in the right place (which would be
between them). I do it beforehand instead. So for
int MyFunc<float>(char x);
we get callbacks in the order: float, int, char.
Reviewed by chandlerc
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116945
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Wed, 20 Oct 2010 16:22:56 +0000 (16:22 +0000)]
Fix chained PCH issue; make sure all visible decls that will be put into a UPDATE_VISIBLE block were recorded beforehand.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116931
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Wed, 20 Oct 2010 16:22:49 +0000 (16:22 +0000)]
Minor optimization; Try to iterator over redeclarations only when necessary.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116930
91177308-0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Wed, 20 Oct 2010 16:07:20 +0000 (16:07 +0000)]
Fixes a potential crash in rewriter when sending message
to 'super'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116928
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Wed, 20 Oct 2010 08:24:03 +0000 (08:24 +0000)]
Try again to pacify the build bots. =/ I'm getting a Darwin machine to test on.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116918
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 20 Oct 2010 08:21:16 +0000 (08:21 +0000)]
GCC 4.4 warns that Receiver may be used uninitialized in this function.
As far as I can see, gcc is right to think this! The following change
will cause a nice segfault rather than undefined behaviour if this case
occurs. Someone who understands what this code is supposed to do should
probably take a proper look.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116917
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Wed, 20 Oct 2010 08:15:06 +0000 (08:15 +0000)]
Access control polish: drop the note on the original declaration and
say 'implicitly' when it was implicit. Resolves PR 7930 and my peace of mind.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116916
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Wed, 20 Oct 2010 07:16:18 +0000 (07:16 +0000)]
Remove a modern bash-ism and use simpler shell redirects. Hopefully will fix
build bots.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116914
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Wed, 20 Oct 2010 07:00:47 +0000 (07:00 +0000)]
Add support for the '--sysroot' flag, and an accompanying test of its
interactions with -isysroot and other driver commands.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116912
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Wed, 20 Oct 2010 05:44:58 +0000 (05:44 +0000)]
When matching template parameter lists to template-ids in a scope specifier
on a friend declaration, skip template-ids which do not depend on the
current parameter list.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116911
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 20 Oct 2010 03:06:34 +0000 (03:06 +0000)]
Fix handling of property and ivar lookup in typo correction; the two
kinds of lookup into Objective-C classes were tangled together, a
situation that was compounded by automatically synthesized ivars.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116907
91177308-0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Wed, 20 Oct 2010 02:31:43 +0000 (02:31 +0000)]
Add a __has_attribute macro that works much like __has_feature and __has_builtin.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116906
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 20 Oct 2010 01:46:04 +0000 (01:46 +0000)]
Disable this test while I track down the platform-specific issue
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116904
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 20 Oct 2010 01:32:02 +0000 (01:32 +0000)]
Introduce a simple cache for unqualified typo corrections, so that we
don't repeatedly loop through identifiers, correcting the same typo'd
identifier over and over again.
We still bail out after 20 typo corrections, but this should help
improve performance in the common case where we're typo-correcting
because the user forgot to include a header.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116901
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 20 Oct 2010 01:16:12 +0000 (01:16 +0000)]
Bah, incompetence
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116898
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 20 Oct 2010 01:01:57 +0000 (01:01 +0000)]
Eliminate another ordering dependency in typo correction. Re-enable typo.m, which seems to be working properly.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116894
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Silverstein [Wed, 20 Oct 2010 00:56:01 +0000 (00:56 +0000)]
Had the wrong type for ArgType. :-( Fixed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116893
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Silverstein [Wed, 20 Oct 2010 00:38:15 +0000 (00:38 +0000)]
The type-to-delete may not be a pointer if it's a dependent type.
Here's example code:
---
template<class T> class MyClass {
struct S { };
S* NewS() { return new S; }
void DeleteS() { delete NewS(); }
};
---
CXXDeleteExpr::getDestroyedType() on the 'delete NewS()' expression
would crash before this change. Now it returns a dependent type
object. Solution suggested by dgregor.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116891
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 20 Oct 2010 00:12:59 +0000 (00:12 +0000)]
Linux still needs these hacks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116888
91177308-0d34-0410-b5e6-
96231b3b80d8
Argyrios Kyrtzidis [Wed, 20 Oct 2010 00:11:15 +0000 (00:11 +0000)]
Fix issue with chained PCH where forward references did not pick up later definition in the chained PCH.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116887
91177308-0d34-0410-b5e6-
96231b3b80d8