eabf770457
New RequireNonAbstractType function.
...
llvm-svn: 80183
2009-08-27 00:13:57 +00:00
d624e16833
Bye-bye old RequireCompleteType.
...
llvm-svn: 80182
2009-08-26 23:45:07 +00:00
a0d0e6fcb1
Fixup codegen for static dispatch to a virtual function that was
...
almost correct. :-)
llvm-svn: 80181
2009-08-26 23:38:08 +00:00
73cc2e550d
Tweak the list of open projects for C++
...
llvm-svn: 80179
2009-08-26 23:34:30 +00:00
c71f094c08
ir-gen for type convesion of class objects. WIP.
...
llvm-svn: 80178
2009-08-26 23:31:30 +00:00
ce2a5e18f2
Make sure to bump the reference count of the last element in the ParenListExpr representing the direct initializer of a declaration
...
llvm-svn: 80177
2009-08-26 23:26:04 +00:00
3c912f66c8
Remove another unused argument.
...
llvm-svn: 80175
2009-08-26 23:00:36 +00:00
029fc690d3
Remove the PrintType argument from RequireCompleteType.
...
llvm-svn: 80174
2009-08-26 22:59:12 +00:00
c190523d7a
When a member reference expression includes a qualifier on the member
...
name, e.g.,
x->Base::f()
retain the qualifier (and its source range information) in a new
subclass of MemberExpr called CXXQualifiedMemberExpr. Provide
construction, transformation, profiling, printing, etc., for this new
expression type.
When a virtual function is called via a qualified name, don't emit a
virtual call. Instead, call that function directly. Mike, could you
add a CodeGen test for this, too?
llvm-svn: 80167
2009-08-26 22:36:53 +00:00
b60d87c517
Add initial boilerplate for CIndex, a shared library that will vend high-level
...
source symbol information (harvested by Clang) through a C API.
llvm-svn: 80166
2009-08-26 22:36:44 +00:00
f68079e77b
Add a RequireCompleteType variant that takes a PartialDiagnostic. The old RequireCompleteType now creates a PartialDiagnostic and calls the new function.
...
llvm-svn: 80165
2009-08-26 22:33:56 +00:00
4fa923c5bc
The PartialDiagnostic constructor doesn't need to be explicit.
...
llvm-svn: 80164
2009-08-26 22:31:44 +00:00
3722f5896c
Regularize the case and sort.
...
llvm-svn: 80163
2009-08-26 22:31:08 +00:00
024ef42ed8
More improvements to PartialDiagnostic.
...
llvm-svn: 80158
2009-08-26 21:48:37 +00:00
402250f2f9
Implement support for C++ direct initializers that involve dependent
...
types or type-dependent expressions.
llvm-svn: 80143
2009-08-26 21:14:46 +00:00
849416a388
More work for conversion functions.
...
llvm-svn: 80142
2009-08-26 21:11:25 +00:00
a5588bf3ac
Implement virtual dispatch. :-) This is self-consistent with clang,
...
but not yet necessarily perfectly consistent with gcc. Also addressed
Doug and John's comments.
llvm-svn: 80137
2009-08-26 20:46:33 +00:00
e146a43052
Fixes a comment.
...
llvm-svn: 80136
2009-08-26 20:37:03 +00:00
d79d5053bd
AST for conversion by conversion functions. WIP.
...
llvm-svn: 80135
2009-08-26 20:34:58 +00:00
a3063cec14
As far as I know, there aren't any warning differences between -std=gnu99 and
...
-std=c99 modes, etc.
llvm-svn: 80133
2009-08-26 20:18:00 +00:00
c00767d32a
Since the HexFloats option only controls a warning, it shouldn't depend
...
on whether we're in GNUMode. Adjust the code appropriately.
llvm-svn: 80132
2009-08-26 20:15:14 +00:00
95f896380f
Make address-space qualification work correctly for compound literals.
...
Issue reported on cfe-dev.
Also fixed the code to use isConstant to determine whether to generate a
constant global, to be consistent with CodeGenModule. This probably
needs to be refactored to deal with C++, though.
llvm-svn: 80131
2009-08-26 20:01:39 +00:00
c24fc2949e
More support for pseudo dtors.
...
llvm-svn: 80129
2009-08-26 19:22:42 +00:00
1cec0c4c94
update to CXXFunctionalCastExpr to support ir-gen for
...
type convesions of class objects [class.conv]. WIP.
llvm-svn: 80127
2009-08-26 18:55:36 +00:00
13789b3af2
Make sure to compare primary declaration contexts when determining whether a declaration is in scope
...
llvm-svn: 80126
2009-08-26 18:54:58 +00:00
5e0962f944
When we know that we are parsing a class-name, implicitly construct a
...
TypenameType if getTypeName is looking at a member of an unknown
specialization. This allows us to properly parse class templates that
derived from type that could only otherwise be described by a typename type,
e.g.,
template<class T> struct X {};
template<typename T> struct Y : public X<T>::X { };
Fixes PR4381.
llvm-svn: 80123
2009-08-26 18:27:52 +00:00
f571c11d54
Add Sema::BuildMemberReferenceExpr and have Sema::ActOnMemberReferenceExpr call it.
...
llvm-svn: 80122
2009-08-26 18:25:21 +00:00
e7b9d71aab
Address some of Doug's comments.
...
llvm-svn: 80114
2009-08-26 17:36:19 +00:00
e9899d9769
Fix for overloaded binary operators whose operands need implicit
...
conversions, from Sylvere Teissier!
llvm-svn: 80112
2009-08-26 17:08:25 +00:00
6885d33753
Add the partially implemented PartialDiagnostic class.
...
llvm-svn: 80106
2009-08-26 16:23:53 +00:00
7e112b0d79
Source location information for ? and : in a ConditionalOperator, from Enea Zaffanella
...
llvm-svn: 80097
2009-08-26 14:37:04 +00:00
66a985d16e
Fix bug in __extension__ handling for declarations, from Abramo
...
Bagnara with a fix from Enea Zaffanella!
llvm-svn: 80094
2009-08-26 14:27:30 +00:00
458055a890
Revert r80064 since it broke the build.
...
llvm-svn: 80066
2009-08-26 03:30:14 +00:00
fbddfdacdc
Implement virtual dispatch. :-) This is self-consistent with clang, but not yet
...
necessarily perfectly consistent with gcc.
llvm-svn: 80064
2009-08-26 01:54:35 +00:00
2c73b1d2a2
Simplified default construction of array data members
...
in the constructor prologue.
llvm-svn: 80060
2009-08-26 00:23:27 +00:00
053f691d5e
Improve diagnostics and recovery when the nested-name-specifier of a
...
qualified name does not actually refer into a class/class
template/class template partial specialization.
Improve printing of nested-name-specifiers to eliminate redudant
qualifiers. Also, make it possible to output a nested-name-specifier
through a DiagnosticBuilder, although there are relatively few places
that will use this leeway.
llvm-svn: 80056
2009-08-26 00:04:55 +00:00
7e3f0e4e0d
Parsing of pseudo-destructors.
...
llvm-svn: 80055
2009-08-25 23:46:41 +00:00
4b1dae3ba4
Update checker build.
...
llvm-svn: 80054
2009-08-25 23:46:25 +00:00
c4c48be88e
Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781.
...
llvm-svn: 80051
2009-08-25 23:29:04 +00:00
d1d6066be8
Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers
...
when using the non-fragile Objective-C ABI. This fixes <rdar://problem/7168531>.
llvm-svn: 80047
2009-08-25 22:55:09 +00:00
24ebdae1e1
Test out-of-line definition of a static data member of a member class of a nested class template. Phew
...
llvm-svn: 80046
2009-08-25 22:54:02 +00:00
7b6a83a84e
Test out-of-line definitions of static data members of nested member class templates
...
llvm-svn: 80045
2009-08-25 22:53:07 +00:00
e861bac059
Improve support for out-of-line definitions of nested templates and
...
their members, including member class template, member function
templates, and member classes and functions of member templates.
To actually parse the nested-name-specifiers that qualify the name of
an out-of-line definition of a member template, e.g.,
template<typename X> template<typename Y>
X Outer<X>::Inner1<Y>::foo(Y) {
return X();
}
we need to look for the template names (e.g., "Inner1") as a member of
the current instantiation (Outer<X>), even before we have entered the
scope of the current instantiation. Since we can't do this in general
(i.e., we should not be looking into all dependent
nested-name-specifiers as if they were the current instantiation), we
rely on the parser to tell us when it is parsing a declaration
specifier sequence, and, therefore, when we should consider the
current scope specifier to be a current instantiation.
Printing of complicated, dependent nested-name-specifiers may be
somewhat broken by this commit; I'll add tests for this issue and fix
the problem (if it still exists) in a subsequent commit.
llvm-svn: 80044
2009-08-25 22:51:20 +00:00
76d824f3f9
Clarify the difference between substitution and instantiation by renaming
...
functions that don't instantiate definitions.
llvm-svn: 80037
2009-08-25 22:02:44 +00:00
7656f2b48b
Update checker build.
...
llvm-svn: 80034
2009-08-25 21:14:54 +00:00
3ed9543ace
Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the
...
implicit cast logic in RegionStoreManager to BasicStoreManager. This involved
moving CastRetriedVal from RegionStoreManager to StoreManager.
llvm-svn: 80026
2009-08-25 20:51:30 +00:00
930210446f
Update Xcode project file to include indexing source files.
...
llvm-svn: 80022
2009-08-25 19:57:00 +00:00
4174f2de26
Changed condition of an assert.
...
llvm-svn: 80020
2009-08-25 18:53:16 +00:00
3a459dc8c9
Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.
...
llvm-svn: 80018
2009-08-25 18:44:25 +00:00
1dfa9a9872
Modify an assert to capture the restriction on friend declarations more
...
accurately. Prevents the assert from triggering incorrectly when friending
functions first declared in extern "C" contexts. Fixes bug 4757.
llvm-svn: 80016
2009-08-25 17:53:59 +00:00
1d5e9f9368
Implement out-of-line definitions of nested class templates. Most of
...
the logic is there for out-of-line definitions with multiple levels of
nested templates, but this is still a work-in-progress: we're having
trouble determining when we should look into a dependent
nested-name-specifier.
llvm-svn: 80003
2009-08-25 17:23:04 +00:00
797cf62703
Skip over bases/fields with dependent types.
...
Fixes pr4771.
llvm-svn: 79999
2009-08-25 16:37:49 +00:00
68f051594b
Test case for r79968 (courtesy of Anders).
...
llvm-svn: 79998
2009-08-25 16:09:22 +00:00
885149b504
Sanity checking for statement reference counts. Thanks for the suggestion, Fariborz
...
llvm-svn: 79995
2009-08-25 15:47:45 +00:00
a98e0e73de
Update clang for raw_fd_ostream no longer requiring F_Force.
...
llvm-svn: 79991
2009-08-25 15:36:09 +00:00
7315672a60
Add a little more testing for default arguments of constructors in a class template
...
llvm-svn: 79989
2009-08-25 15:24:38 +00:00
be96bc94e8
Handle the implicit 'this' parameter for format attributes.
...
llvm-svn: 79987
2009-08-25 14:12:34 +00:00
114056f22c
If a parameter has a default argument expression, make sure to instantiate the parameter type before checking that the expression is a valid initializer.
...
llvm-svn: 79986
2009-08-25 13:46:13 +00:00
6c0a6e490c
Emit conversion functions correctly.
...
llvm-svn: 79985
2009-08-25 13:14:46 +00:00
10ebe78730
Improved support for default arguments in constructors for class templates.
...
llvm-svn: 79984
2009-08-25 13:07:08 +00:00
342950efc5
Remove CodeDecl and CFG from GRExprEngine and GRStateManager.
...
Now AnalysisManager is the only place we can get CodeDecl.
This leads to an API change: GRState::bindExpr() now takes the CFG argument.
llvm-svn: 79980
2009-08-25 06:51:30 +00:00
79e3fa6e9d
Remove a test that relies on old debug info format.
...
llvm-svn: 79979
2009-08-25 06:18:11 +00:00
c1eb79b7c9
InitializeVarWithConstructor now returns true on failure.
...
llvm-svn: 79976
2009-08-25 05:18:00 +00:00
6eb55575da
BuildCXXConstructExpr now returns an OwningExprResult.
...
llvm-svn: 79975
2009-08-25 05:12:04 +00:00
355933d096
Factor building of CXXDefaultArgExpr expressions out into a separate function.
...
llvm-svn: 79974
2009-08-25 03:49:14 +00:00
94ec649b33
Remove Decl and CFG from ExplodedGraph. This leads to a series small changes.
...
llvm-svn: 79973
2009-08-25 03:33:41 +00:00
4562f1f066
Basic support for default argument expressions for function templates.
...
llvm-svn: 79972
2009-08-25 03:18:48 +00:00
c80a127c4d
Factor setting default arguments out into SetParamDefaultArgument.
...
llvm-svn: 79970
2009-08-25 02:29:20 +00:00
12e022ddbf
Fix ivar layout map generation (hopefully).
...
llvm-svn: 79968
2009-08-25 02:07:02 +00:00
5a532380a1
Use hasDefaultArg instead of getDefaultArg.
...
llvm-svn: 79967
2009-08-25 01:23:32 +00:00
a5224ecbc0
Add Decl getter/setters for uninstantiated default arguments for function parameters.
...
llvm-svn: 79965
2009-08-25 01:11:14 +00:00
f1c2695d48
Check that the default argument is well-formed before checking the initializer types.
...
llvm-svn: 79964
2009-08-25 01:02:06 +00:00
9d01b5b40c
Eliminate a GCC warning
...
llvm-svn: 79962
2009-08-25 00:17:23 +00:00
a6a3494c1d
Remove #ifdef'out code.
...
llvm-svn: 79956
2009-08-24 23:16:37 +00:00
a3dff8e37a
Keep track of the template parameter depth properly when we have
...
member templates declared inside other templates. This allows us to
match out-of-line definitions of member function templates within
class templates to the declarations within the class template. We
still can't handle out-of-line definitions for member class templates,
however.
llvm-svn: 79955
2009-08-24 23:03:25 +00:00
6bc04bca68
Add test case for PR 4759.
...
llvm-svn: 79954
2009-08-24 22:56:32 +00:00
d6cfbafd3b
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for
...
the condition. This eliminates a source of bugs where the client doesn't
correctly reason about undefined or unknown values. This fixes PR 4759.
llvm-svn: 79952
2009-08-24 22:47:34 +00:00
d64be8201d
Introduce 'DefinedSVal', an intermediate parent class between Loc/NonLoc and
...
SVal. This allows us to use the C++ type system to distinguish between SVals
that are potentially unknown/undefined and those that are not.
llvm-svn: 79951
2009-08-24 22:41:15 +00:00
f5147c6c02
Add missing '&&'...
...
llvm-svn: 79950
2009-08-24 22:29:04 +00:00
a6b4a3d646
PR4766: Don't pass -static to 'as' on x86_64 on Darwin.
...
Also, do pass -static even with -dynamic on i386.
llvm-svn: 79948
2009-08-24 22:26:16 +00:00
7c07d5fed8
Remove ivarlayout bitmap optimization, instead if all zeros,
...
put out the bitmap when all objects are scanned.
llvm-svn: 79947
2009-08-24 21:55:06 +00:00
4c95288f64
Don't try to evaluate an expression that is type- or value-dependent while building the CFG
...
llvm-svn: 79941
2009-08-24 21:39:56 +00:00
f2270430a1
Skip transparent contexts when performing C++ name lookup
...
llvm-svn: 79931
2009-08-24 18:55:03 +00:00
c327709db8
Handle array to pointer decay in EmitCastExpr and get rid of VisitImplicitCastExpr.
...
llvm-svn: 79930
2009-08-24 18:37:17 +00:00
3df53bcf10
Handle CK_NullToMemberPointer in ScalarExprEmitter::EmitCast
...
llvm-svn: 79929
2009-08-24 18:26:39 +00:00
15583e4493
Pass the cast kind to ScalarExprEmitter::EmitCastExpr.
...
llvm-svn: 79928
2009-08-24 18:12:39 +00:00
83133d9a74
Use the right cast kind when comparing null to member pointers.
...
llvm-svn: 79927
2009-08-24 18:03:14 +00:00
b00b10eb2e
Implement support for equality comparisons (!=, ==) of member
...
pointers, by extending the "composite pointer type" logic to include
member pointer types.
Introduce test cases for member pointer comparisons, including those
that involve the builtin operator candidates implemented earlier.
llvm-svn: 79925
2009-08-24 17:42:35 +00:00
e6434cb421
normalize the CharacterLiteral::getLocation method name, patch
...
by Enea Zaffanella!
llvm-svn: 79924
2009-08-24 17:39:36 +00:00
20464fba70
Fixes pr4763.
...
llvm-svn: 79923
2009-08-24 17:19:23 +00:00
867b48f713
More member pointer work.
...
llvm-svn: 79922
2009-08-24 17:16:23 +00:00
4557b2c0c2
Remove dead code
...
llvm-svn: 79921
2009-08-24 16:52:33 +00:00
8a2e601917
Try to complete a type before looking for conversion functions within
...
that type. Note that we do not produce a diagnostic if the type is
incomplete; rather, we just don't look for conversion functions. Fixes PR4660.
llvm-svn: 79919
2009-08-24 15:23:48 +00:00
84605aeac9
Refactor the template-instantiation logic for expressions into a
...
generic tree transformation (also used for recanonicalization) and a
small amount of template-instantiation-specific logic.
llvm-svn: 79917
2009-08-24 13:43:27 +00:00
db7149246f
Fix build of clang with gcc-4.4: #include <cstdio> was missing.
...
llvm-svn: 79916
2009-08-24 13:25:12 +00:00
684582b632
Improve top-level-semicolon test a bit
...
llvm-svn: 79913
2009-08-24 12:20:57 +00:00
8b9575f27e
Top-level semicolons are allowed in C++0x. Fixes PR4755.
...
llvm-svn: 79912
2009-08-24 12:17:54 +00:00
c8c277a1b3
Make sure to adjust function template declarations to their templated
...
declarations (e.g., FunctionTemplateDecl -> CXXConstructorDecl) before
performing semantic analysis on the declarations. Fixes PR4761.
llvm-svn: 79911
2009-08-24 11:57:43 +00:00
576d90d39b
Remove TargetInfo::getTargetPrefix().
...
llvm-svn: 79907
2009-08-24 09:54:37 +00:00
8100d01ecf
Switch to StringRef based BitstreamWriter APIs, where appropriate.
...
- There is lots of non-endian safe code in here... :/
llvm-svn: 79905
2009-08-24 09:31:37 +00:00
Anders Carlsson