9a587b0111
Patch implements ranking conversions between member pointers [over.ics.rank]
...
llvm-svn: 84660
2009-10-20 20:04:46 +00:00
e4f2b2a8ac
Encode global variable name in debug info.
...
llvm-svn: 84653
2009-10-20 18:26:30 +00:00
b14d70413f
Changed text of warning in my last patch.
...
Related to radar:
<rdar://problem/7308503> clang should disallow the trailing semicolon in method definitions
llvm-svn: 84647
2009-10-20 17:24:11 +00:00
040d75d9b6
Issue warning if method body starts with a semicolon.
...
Fixes
<rdar://problem/7308503> clang should disallow the trailing semicolon in method definitions
llvm-svn: 84645
2009-10-20 16:39:13 +00:00
a5cb6da0cd
Handle substitutions into the "first qualifier in scope" of a
...
qualified member access expression (e.g., t->U::member) when that
first qualifier refers to a template parameters.
llvm-svn: 84612
2009-10-20 05:58:46 +00:00
bd19b18100
Implement PR5242: don't desugar a type more than once in a diagnostic. This
...
implements a framework that allows us to use information about previously
substituted values to simplify subsequent ones. Maybe this would be useful
for C++'y stuff, who knows. We now get:
t.c:4:21: error: invalid operands to binary expression ('size_t' (aka 'unsigned long *') and 'size_t')
return (size_t) 0 + (size_t) 0;
~~~~~~~~~~ ^ ~~~~~~~~~~
on the testcase. Note that size_t is only aka'd once.
llvm-svn: 84604
2009-10-20 05:36:05 +00:00
b9e71d9fd1
Force triple for test.
...
llvm-svn: 84589
2009-10-20 01:52:47 +00:00
481c121ab5
RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object
...
region when doing lazy value retrieval of an ivar.
This fixes: <rdar://problem/7312221>
llvm-svn: 84584
2009-10-20 01:20:57 +00:00
90c953e98f
retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule.
...
Fixes: <rdar://problem/7265711>
llvm-svn: 84569
2009-10-20 00:13:00 +00:00
c59e56190e
Parse a simple-template-id following a '~' when calling a destructor, e.g.,
...
t->~T<A0, A1>()
Fixes PR5213.
llvm-svn: 84545
2009-10-19 22:04:39 +00:00
996a6aa3f1
Copy conversion of an expression to its base class
...
is a standard convesion and not a user-defined
conversion.
llvm-svn: 84525
2009-10-19 19:18:20 +00:00
0999aafda5
Handle emitting the assignment operator when the lhs is a reference. Fixes PR5227.
...
llvm-svn: 84518
2009-10-19 18:28:22 +00:00
027732b5b9
Set the cast kind to CK_NoOp for C-style casts that are really const casts. Fixes PR5248.
...
llvm-svn: 84514
2009-10-19 18:14:28 +00:00
28a24fdbbc
Workaround a bug exposed by the FileCheckify of message-length.c, the caret end
...
column computation isn't correct and could exceed the line length, which
resulted in a buffer overflow later.
- Chris, is there a better way for this code to compute the final column used
by the caret?
llvm-svn: 84475
2009-10-19 09:11:21 +00:00
2c02111000
convert this to FileCheck, PR5232
...
llvm-svn: 84466
2009-10-19 06:45:49 +00:00
69c2c4becc
When binding a reference to a temporary, it's important that other temporaries created as on the RHS are destroyed before emitting the dtor for the temporary.
...
llvm-svn: 84451
2009-10-18 23:09:21 +00:00
8f741bfad7
When building a cast argument, make sure to bind the result to a temporary.
...
llvm-svn: 84448
2009-10-18 21:20:14 +00:00
63404d2861
Convert temporaries.cpp to using FileCheck.
...
llvm-svn: 84446
2009-10-18 21:11:11 +00:00
72eabcb5b1
Add test for OpenCL vector initializer codegen
...
llvm-svn: 84445
2009-10-18 21:04:35 +00:00
3af1ba73b3
Rename temp-1.cpp to temporaries.cpp.
...
llvm-svn: 84443
2009-10-18 20:58:38 +00:00
9500ad13b0
Use CK_BitCast for member function pointer casts. Fixes PR5138.
...
llvm-svn: 84438
2009-10-18 20:31:03 +00:00
7001794302
It's OK for a pure virtual function to override another pure virtual function. Fixes PR5222.
...
llvm-svn: 84428
2009-10-18 19:34:08 +00:00
ff3507b951
add support for codegening CXXZeroInitValueExprs
...
llvm-svn: 84418
2009-10-18 15:18:11 +00:00
0b3d95ae64
Fix a crash with qualified member access into a non-type, from Sean Hunt!
...
llvm-svn: 84370
2009-10-17 22:37:54 +00:00
4bbd1acf8b
When type-checking a C++ "new" expression, don't type-check the actual
...
initialization if any of the constructor/initialization arguments are
type-dependent. Fixes PR5224.
llvm-svn: 84365
2009-10-17 21:40:42 +00:00
df4b80e7c0
When resolving the address of an overloaded function or function template, mark the result as referenced.
...
The most important effect of this is that function templates only referenced by address expressions now get instantiated. This, in turn, means that Hello World compiles with the Apache stdcxx library even when using endl.
llvm-svn: 84363
2009-10-17 21:12:09 +00:00
fef1c0d54f
Don't add implicit casts of explicit address-taking of overloaded functions.
...
Taking the address of an overloaded function with an explicit address-of operator wrapped the operator in an implicit cast that added yet another pointer level, leaving us with a corrupted AST, which crashed CodeGen in the test case I've added. Fix this by making FixOverloadedFunctionReference return whether there was an address-of operator and not adding the implicit cast in that case.
llvm-svn: 84362
2009-10-17 20:50:27 +00:00
9b24e8aba6
daniel really wants this in the testsuite.
...
llvm-svn: 84354
2009-10-17 20:37:18 +00:00
ec3a1565f6
teach getCorrespondingUnsignedType how to handle vectors of integers,
...
fixing PR4838.
llvm-svn: 84353
2009-10-17 20:33:28 +00:00
548e629e02
In some dependent contexts, incomplete array types persist into FinalizeDeclaratorGroup. Don't require them to have a complete type. This allows us to compile Hello World with the Apache stdcxx library. If you don't use endl, it even links and runs.
...
llvm-svn: 84347
2009-10-17 19:37:06 +00:00
93135aad29
Fix for PR5190, Credit to Zhanyong Wan.
...
llvm-svn: 84346
2009-10-17 19:32:54 +00:00
5371aed18c
Add a DR437 testcase, but disable it for now, since it fails.
...
llvm-svn: 84345
2009-10-17 18:31:05 +00:00
1baf407fbc
Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant.
...
llvm-svn: 84320
2009-10-17 07:39:35 +00:00
671fec8727
Fix PR5211: codegen shouldn't assume that the result of ||/&& is int
...
anymore. In C++ it is bool.
llvm-svn: 84308
2009-10-17 04:24:20 +00:00
956127de22
Patch to clean up and improve visual display of
...
builtin function ambiguity.
llvm-svn: 84289
2009-10-16 23:25:02 +00:00
70bf6d6102
Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely
...
converting the constant value of the LHS of a '<<'/'>>' operation to the same APSInt value of the
RHS.
llvm-svn: 84269
2009-10-16 20:46:24 +00:00
16bef857d9
Keep track of whether declararions were loaded from a precompiled
...
header or not via a new "PCHLevel" field in Decl. We currently use
this information to help CIndex filter out declarations that came from
a precompiled header (rather than from an AST file). Further down the
road, it can be used to help implement multi-level precompiled
headers.
llvm-svn: 84267
2009-10-16 20:01:17 +00:00
da21efb566
Implement derived-to-base AST/code gen. There is a
...
FIXME in CGCXX.cpp that I would like Anders to
take a look at.
llvm-svn: 84265
2009-10-16 19:20:59 +00:00
d2eb58abac
Add support for a chain of stat caches in the FileManager, rather than
...
only supporting a single stat cache. The immediate benefit of this
change is that we can now generate a PCH/AST file when including
another PCH file; in the future, the chain of stat caches will likely
be useful with multiple levels of PCH files.
llvm-svn: 84263
2009-10-16 18:18:30 +00:00
a96d427966
Implement PR4407 - missing warnings on case value overflow,
...
patch by Zhanyong Wan!
llvm-svn: 84259
2009-10-16 16:45:22 +00:00
f847117ac8
Builtin types are subsitutable if they are qualified. Fixes PR5196.
...
llvm-svn: 84237
2009-10-16 02:06:06 +00:00
35a99d95b3
The result type of logical || and && is bool in C++. Fixes PR5206.
...
llvm-svn: 84231
2009-10-16 01:44:21 +00:00
1eb68096a2
retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion().
...
This fixes <rdar://problem/7257223> and <rdar://problem/7283470>.
llvm-svn: 84223
2009-10-16 00:30:49 +00:00
dae45e9079
Add a few passing test cases for finding leaks of retained objects stored to arrays (<rdar://problem/7283470>).
...
llvm-svn: 84221
2009-10-15 23:44:02 +00:00
12e49d3250
Make the remaining explicit-instantiation semantic action use
...
CheckSpecializationInstantiationRedecl to check for
redeclarations/instantiations. Also fixes a longstanding issue where
our explicit-instantiation location information wasn't as good as it
could have been.
llvm-svn: 84216
2009-10-15 22:53:21 +00:00
55adb821e8
retain/release checker: Use simpler utility method for creating class method summaries. No functionality change.
...
llvm-svn: 84210
2009-10-15 22:25:12 +00:00
cbc34b769e
Driver: Default to using PTH for C++ precompiled header support, PCH for C++
...
isn't implemented yet.
- <rdar://problem/7297571> Clang should use pretokenized headers for C++ PCH
files
llvm-svn: 84197
2009-10-15 20:02:44 +00:00
8f003d0fa3
Make sure that we're diagnosing duplicate explicit instantiation definitions.
...
llvm-svn: 84189
2009-10-15 18:07:02 +00:00
3b937fa298
Apply heuristics to cut back on number of candidate
...
sets of builtin operators. Currently, it is applied
to '++' and '->*' operators. I need to apply it to others
as well. Also, heuristics need be applied to
BuiltinCandidateTypeSet::AddPointerWithMoreQualifiedTypeVariants.
This is WIP.
llvm-svn: 84187
2009-10-15 17:14:05 +00:00
d6ba93dc6e
Check the interactions between explicit instantiations and template
...
specializations. Work in progress; there's more cleanup required to
actually use the new CheckSpecializationInstantiationRedecl checker
uniformly.
llvm-svn: 84185
2009-10-15 15:54:05 +00:00
Fariborz Jahanian