mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-28 06:46:07 +00:00
Code Issues Projects Releases Wiki Activity
120,748 Commits 1,258 Branches 288 Tags
Commit Graph

706 Commits

Author SHA1 Message Date
Eli Friedman
6601b550c0 Add missing check for placeholders. 
llvm-svn: 148920
 2012-01-25 04:29:24 +00:00
Eli Friedman
a59b1907cc Make sure we correctly treat __is_convertible_to as an unevaluated context. PR11833. 
llvm-svn: 148893
 2012-01-25 01:05:57 +00:00
Eli Friedman
946b7b5bc8 Switch PerformImplicitConversion over to use DefaultLvalueConversion for lvalue-to-rvalue conversion. 
llvm-svn: 148874
 2012-01-24 22:51:26 +00:00
Nick Lewycky
411fc65b45 Add a new warning, -Wover-aligned, which detects attempts to use the default 
allocator to construct an object which declares more alignment than the default
allocator actually provides. Fixes PR9527!

llvm-svn: 148857
 2012-01-24 21:15:41 +00:00
Sebastian Redl
09edce0400 Minor fixups for auto deduction of initializer lists. 
Fix some review comments.
Add a test for deduction when std::initializer_list isn't available yet.
Fix redundant error messages. This fixes and outstanding FIXME too.

llvm-svn: 148735
 2012-01-23 22:09:39 +00:00
Nico Weber
4bc649943f Add a source range to the ms path. Spotted by David Blaikie. 
llvm-svn: 148683
 2012-01-23 06:08:16 +00:00
Nico Weber
5882927d7a In microsoft mode, downgrade pseudo-destructors on void from error to warning. 
This matches cl.exe's behavior and fixes PR11791.

llvm-svn: 148682
 2012-01-23 05:50:57 +00:00
Eli Friedman
844f945963 Make sure the AST correctly represents lvalue-to-rvalue conversions where appropriate. 
llvm-svn: 148673
 2012-01-23 02:35:22 +00:00
Eli Friedman
456f01833b Remove PotentiallyPotentiallyEvaluated, and replace it with a much simpler and less error-prone way of handling the relevant cases. Towards marking of whether a declaration is used more accurately. 
llvm-svn: 148522
 2012-01-20 01:26:23 +00:00
Kaelyn Uhrain
79d01c1760 Convert DiagnoseEmptyLookup to use correction callbacks. 
No new unit tests yet as there is no behavioral change
(except for slightly more specific filtering in
Sema::ActOnStartOfLambdaDefinition). Tests will be added
as the code paths are traced in greater depth to determine
how to improve the results--there are at least one or two
known bugs that require those improvements. This commit
lays the groundwork for those changes.

llvm-svn: 148382
 2012-01-18 05:58:54 +00:00
David Blaikie
8a40f700e6 Remove unreachable code in Clang. (replace with llvm_unreachable where appropriate or when GCC requires it) 
llvm-svn: 148292
 2012-01-17 06:56:22 +00:00
Eli Friedman
2dfa79325c Add some calls to MarkDeclarationReferenced, towards a point where every declaration which is used is marked as used. 
llvm-svn: 148253
 2012-01-16 21:00:51 +00:00
Douglas Gregor
bf3a826f2c In Objective-C++, actually compute the base type of a member access 
expression for an Objective-C object or pointer type, so that we don't
attempt to treat the member name as a template. Fixes
<rdar://problem/10672501>.

llvm-svn: 148028
 2012-01-12 16:11:24 +00:00
Eli Friedman
20139d3809 Start refactoring code for capturing variables and 'this' so that it is shared between lambda expressions and block literals. 
llvm-svn: 147917
 2012-01-11 02:36:31 +00:00
John McCall
9b80c2186f Do placeholder conversions on array bounds in both declarators and 
new-expressions.

llvm-svn: 147900
 2012-01-11 00:14:46 +00:00
Eli Friedman
73a040906d More lambda work: semantic analysis of capturing 'this'. It's a bit complicated, but we have to be careful about when exactly captures are marked given PotentiallyPotentiallyEvaluated contexts. (Actually, it's not 100% correct yet, but it's close enough for the moment.) 
llvm-svn: 147723
 2012-01-07 04:59:52 +00:00
Eli Friedman
44803326d4 Lambdas: semantic analysis of explicit captures. 
This patch (and some of my other commits related to lambdas) is heavily based off of John Freeman's work-in-progress patches.

llvm-svn: 147706
 2012-01-07 01:08:17 +00:00
Eli Friedman
4817cf72f6 More lambda work. Fixes a minor bug Richard pointed out, makes lookup for lambda parameters work correctly, recording more information into the AST. 
llvm-svn: 147650
 2012-01-06 03:05:34 +00:00
Eli Friedman
71c8055f8e More lambda work. Tweak the Sema interface slightly. Start adding the pieces to build the lambda class and its call operator. Create an actual scope for the lambda body. 
llvm-svn: 147595
 2012-01-05 03:35:19 +00:00
Eli Friedman
36d129435e Add an explicit LambdaExprContext to Declarator, to parallel BlockLiteralContext. Use it to ensure semantic analysis of types isn't confused by the lack of a type specifier. 
llvm-svn: 147522
 2012-01-04 04:41:38 +00:00
Eli Friedman
c7c97144af Stub out the Sema interface for lambda expressions, and change the parser to use it. Unconditionally error on lambda expressions because they don't work in any meaningful way yet. 
llvm-svn: 147515
 2012-01-04 02:40:39 +00:00
David Blaikie
1d578782fa Support decltype in pseudo destructors and dependent destructor calls. 
Reviewed by Eli Friedman.

llvm-svn: 146738
 2011-12-16 16:03:09 +00:00
Douglas Gregor
95715f9ecf In debugger support mode, if we have a top-level message send 
expression with an unknown result type, assume that the result type is
'id'. Fixes <rdar://problem/10400663>.

llvm-svn: 146622
 2011-12-15 00:53:32 +00:00
David Blaikie
08608f6744 Fix/test decltype dtor calls with invalid base expression. 
llvm-svn: 146354
 2011-12-12 04:13:55 +00:00
David Blaikie
ecd8a94acf Decltype in non-pseudo (& non-dependent) dtor calls. 
llvm-svn: 146155
 2011-12-08 16:13:53 +00:00
Douglas Gregor
dca70af22f Implement support for the __is_final type trait, to determine whether 
a class is marked 'final', from Alberto Ganesh Barbati! Fixes
PR11462.

llvm-svn: 145775
 2011-12-03 18:14:24 +00:00
Richard Smith
507840dbff Revert r145244. It causes us to create broken ASTs with missing type information 
for some cast expressions.

Original commit message:

Removed useless ImplicitCast nodes in explicit cstyle and static casts

llvm-svn: 145447
 2011-11-29 22:48:16 +00:00
Nicola Gigante
13b6a2ae04 Removed useless ImplicitCast nodes in explicit cstyle and static casts 
llvm-svn: 145244
 2011-11-28 12:21:57 +00:00
Peter Collingbourne
fbef4c8657 In Sema::MaybeBindToTemporary, create a CXXBindTemporaryExpr for an 
array of objects with non-trivial destructors.  PR11365.

llvm-svn: 145203
 2011-11-27 22:09:28 +00:00
Abramo Bagnara
b0cf297654 Added missing ImplicitCastExpr around conversion operator call. 
llvm-svn: 144850
 2011-11-16 22:46:05 +00:00
Abramo Bagnara
d4756b9ece Fixed missing cast and wrong cast kind in delete expression. 
llvm-svn: 144796
 2011-11-16 15:42:13 +00:00
John McCall
16de4d20e0 In ARC, don't reclaim objects of Class type. 
llvm-svn: 144561
 2011-11-14 19:53:16 +00:00
John McCall
28fc70910f There's no good reason to track temporaries in ExprWithCleanups, 
but it is sometimes useful to track blocks.  Do so.  Also
optimize the storage of these expressions.

llvm-svn: 144263
 2011-11-10 05:35:25 +00:00
John McCall
ffc8ca2d84 Rip out CK_GetObjCProperty. 
llvm-svn: 143910
 2011-11-07 05:09:54 +00:00
Sebastian Redl
72ef7bc2b5 Enable function call and some overload resolution with parameters of aggregate class type and initializer list arguments. 
llvm-svn: 143462
 2011-11-01 15:53:09 +00:00
John McCall
526ab47a55 Restore r142914 and r142915, now with missing file and apparent 
GCC compiler workaround.

llvm-svn: 142931
 2011-10-25 17:37:35 +00:00
NAKAMURA Takumi
9a8f13961c Revert r142914 and r142915, due to possibly missing file. 
r142914: "Introduce a placeholder type for "pseudo object""
r142915: "Pull the pseudo-object stuff into its own file."
llvm-svn: 142921
 2011-10-25 14:32:25 +00:00
John McCall
c4a2d3259f Introduce a placeholder type for "pseudo object" 
expressions: expressions which refer to a logical rather
than a physical l-value, where the logical object is
actually accessed via custom getter/setter code.
A subsequent patch will generalize the AST for these
so that arbitrary "implementing" sub-expressions can
be provided.

Right now the only client is ObjC properties, but
this should be generalizable to similar language
features, e.g. Managed C++'s __property methods.

llvm-svn: 142914
 2011-10-25 07:27:56 +00:00
Douglas Gregor
4a2a8f7fb8 Check for unexpanded parameter packs in the name that guards a 
Microsoft __if_exists/__if_not_exists statement. Also note that we
weren't traversing DeclarationNameInfo *at all* within the
RecursiveASTVisitor, which would be rather fatal for variadic
templates.

llvm-svn: 142906
 2011-10-25 03:44:56 +00:00
Douglas Gregor
deb4a2be67 Implement support for dependent Microsoft __if_exists/__if_not_exists 
statements. As noted in the documentation for the AST node, the
semantics of __if_exists/__if_not_exists are somewhat different from
the way Visual C++ implements them, because our parsed-template
representation can't accommodate VC++ semantics without serious
contortions. Hopefully this implementation is "good enough".

llvm-svn: 142901
 2011-10-25 01:33:02 +00:00
Douglas Gregor
43edb32f1f Rework Microsoft __if_exists/__if_not_exists parsing and semantic 
analysis to separate dependent names from non-dependent names. For
dependent names, we'll behave differently from Visual C++:

  - For __if_exists/__if_not_exists at class scope, we'll just warn
    and then ignore them.
  - For __if_exists/__if_not_exists in statements, we'll treat the
    inner statement as a compound statement, which we only instantiate
    in templates where the dependent name (after instantiation)
    exists. This behavior is different from VC++, but it's as close as
    we can get without encroaching ridiculousness.

The latter part (dependent statements) is not yet implemented.

llvm-svn: 142864
 2011-10-24 22:31:10 +00:00
Richard Smith
0bf8a492fd -Wc++98-compat and -Wc++98-compat-pedantic warnings for Sema, part 1. 
llvm-svn: 142419
 2011-10-18 20:49:44 +00:00
Douglas Gregor
09deffa067 Make it possible to compute the type of 'this' without capturing 
it. Refactoring to be used in a moment.

llvm-svn: 142360
 2011-10-18 16:47:30 +00:00
Anton Korobeynikov
f0c267e6e0 Provide half floating point support as a storage only type. 
Lack of half FP was a regression compared to llvm-gcc.

llvm-svn: 142016
 2011-10-14 23:23:15 +00:00
Douglas Gregor
6a0e23ff8b Teach __has_nothrow_assign not to complain about access (GCC and EDG 
ignore access entirely for it) and not to crash on assignment operator
templates. Fixes PR11110.

llvm-svn: 141777
 2011-10-12 15:40:49 +00:00
John McCall
50a2c2c19d Catch placeholder types in DefaultLvalueConversion 
and DefaultFunctionArrayLvalueConversion.  To prevent
significant regression for should-this-be-a-call fixits,
and to repair some such regression from the introduction of
bound member placeholders, make those placeholder checks
try to build calls appropriately.  Harden the build-a-call
logic while we're at it.

llvm-svn: 141738
 2011-10-11 23:14:30 +00:00
Douglas Gregor
c7a3107baf When performing a user-defined conversion via a constructor, be sure 
to check whether the constructor is accessible. Fixes
<rdar://problem/10202900>.

llvm-svn: 141588
 2011-10-10 22:41:00 +00:00
Abramo Bagnara
635ed24e1d Added a flag to identify resolved overloaded function references. 
llvm-svn: 141171
 2011-10-05 07:56:41 +00:00
John McCall
b50451a188 Refactor the analysis of C++ cast expressions so that even 
C-style and functional casts are built in SemaCXXCast.cpp.
Introduce a helper class to encapsulate most of the random
state being passed around, at least one level down.

llvm-svn: 141170
 2011-10-05 07:41:44 +00:00
Eli Friedman
be4b363060 Get rid of useless helper Sema::CastCategory. 
llvm-svn: 140642
 2011-09-27 21:58:52 +00:00