|  | Commit message (Collapse) | Author | Age | Files | Lines | 
|---|
| ... |  | 
| | 
| 
| 
| | llvm-svn: 127225 | 
| | 
| 
| 
| | llvm-svn: 127120 | 
| | 
| 
| 
| | llvm-svn: 127119 | 
| | 
| 
| 
| | llvm-svn: 127094 | 
| | 
| 
| 
| | llvm-svn: 126952 | 
| | 
| 
| 
| | llvm-svn: 126945 | 
| | 
| 
| 
| | llvm-svn: 126943 | 
| | 
| 
| 
| | llvm-svn: 126939 | 
| | 
| 
| 
| 
| 
| | aliases.
llvm-svn: 126496 | 
| | 
| 
| 
| | llvm-svn: 126489 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | UnresolvedUsingValueDecl to use NestedNameSpecifierLoc rather than the
extremely-lossy NestedNameSpecifier/SourceRange pair it used to use,
improving source-location information.
Various infrastructure updates to support NestedNameSpecifierLoc:
  - AST/PCH (de-)serialization
  - Recursive AST visitor
  - libclang traversal (including the first tests of this
    functionality)
llvm-svn: 126459 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| | making them be template instantiated in a more normal way and 
make them handle attributes like other decls.
This fixes the used/unused label handling stuff, making it use
the same infrastructure as other decls.
llvm-svn: 125771 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | LabelDecl and LabelStmt.  There is a 1-1 correspondence between the
two, but this simplifies a bunch of code by itself.  This is because
labels are the only place where we previously had references to random
other statements, causing grief for AST serialization and other stuff.
This does cause one regression (attr(unused) doesn't silence unused
label warnings) which I'll address next.
This does fix some minor bugs:
1. "The only valid attribute " diagnostic was capitalized.
2. Various diagnostics printed as ''labelname'' instead of 'labelname'
3. This reduces duplication of label checking between functions and blocks.
Review appreciated, particularly for the cindex and template bits.
llvm-svn: 125733 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | deeply nested calls.
Temporarily set the first (canonical) declaration as the previous one, which is the one that
matters, and mark the real previous DeclID to be loaded & attached later on.
Fixes rdar://8956193.
llvm-svn: 125434 | 
| | 
| 
| 
| 
| 
| 
| | Also, reorganize and make very explicit the logic for determining
the value kind and type of a referenced declaration.
llvm-svn: 125150 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | - BlockDeclRefExprs always store VarDecls
  - BDREs no longer store copy expressions
  - BlockDecls now store a list of captured variables, information about
    how they're captured, and a copy expression if necessary
    
With that in hand, change IR generation to use the captures data in       
blocks instead of walking the block independently.        
Additionally, optimize block layout by emitting fields in descending
alignment order, with a heuristic for filling in words when alignment
of the end of the block header is insufficient for the most aligned
field.
llvm-svn: 125005 | 
| | 
| 
| 
| 
| 
| 
| | on, as well as more reliably limiting invalid references to locals from
nested scopes.
llvm-svn: 124721 | 
| | 
| 
| 
| | llvm-svn: 124122 | 
| | 
| 
| 
| 
| 
| | CXXRecordDecl).
llvm-svn: 123885 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | a pack expansion, e.g., the parameter pack Values in:
  template<typename ...Types>
  struct Outer {
    template<Types ...Values>
    struct Inner;
  };
This new implementation approach introduces the notion of an
"expanded" non-type template parameter pack, for which we have already
expanded the types of the parameter pack (to, say, "int*, float*",
for Outer<int*, float*>) but have not yet expanded the values. Aside
from creating these expanded non-type template parameter packs, this
patch updates template argument checking and non-type template
parameter pack instantiation to make use of the appropriate types in
the parameter pack.
llvm-svn: 123845 | 
| | 
| 
| 
| 
| 
| | -Wint-to-pointer-cast.
llvm-svn: 123719 | 
| | 
| 
| 
| 
| 
| 
| | more accurate, and makes it make sense for it to hold a delegating constructor
call.
llvm-svn: 123084 | 
| | 
| 
| 
| 
| 
| 
| | template<template<class> class ...Metafunctions>
    struct apply_to_each;
llvm-svn: 122874 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | packs, e.g.,
  template<typename T, unsigned ...Dims> struct multi_array;
along with semantic analysis support for finding unexpanded non-type
template parameter packs in types, expressions, and so on.
Template instantiation involving non-type template parameter packs
probably doesn't work yet. That'll come soon.
llvm-svn: 122527 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | "inline", we weren't giving the definition weak linkage because the
"inline" bit wasn't propagated. This was a longstanding FIXME that,
somehow, hadn't triggered a bug in the wild. Fix this problem by
tracking whether any declaration was marked "inline", and clean up the
semantics of GNU's "extern inline" semantics calculation based on this
change.
Fixes <rdar://problem/8740363>.
llvm-svn: 121373 | 
| | 
| 
| 
| | llvm-svn: 120828 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| | A new AST node is introduced:
   def IndirectField : DDecl<Value>;
IndirectFields are injected into the anonymous's parent scope and chain back to
the original field. Name lookup for anonymous entities now result in an
IndirectFieldDecl instead of a FieldDecl.
There is no functionality change, the code generated should be the same.
llvm-svn: 119919 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| | @synthesize foo = _foo;
keep track of the location of the ivar ("_foo"). Teach libclang to
visit the ivar as a member reference.
llvm-svn: 119447 | 
| | 
| 
| 
| 
| 
| 
| 
| | avoid leaking memory.
Fixes rdar://8649963.
llvm-svn: 118674 | 
| | 
| 
| 
| | llvm-svn: 117770 | 
| | 
| 
| 
| 
| 
| | the performance of C++ PCH and reducing stack depth in the reader.
llvm-svn: 117732 | 
| | 
| 
| 
| 
| 
| | global, make them local to a decl.
llvm-svn: 117540 | 
| | 
| 
| 
| 
| 
| 
| 
| | DeclContext,
meaning we need to rewrite its name lookup table in a chained PCH.
llvm-svn: 117536 | 
| | 
| 
| 
| 
| 
| | chained PCH.
llvm-svn: 117533 | 
| | 
| 
| 
| 
| 
| | some excessive recursion and deserialization.
llvm-svn: 117480 | 
| | 
| 
| 
| 
| 
| 
| | - Pass around RecordDataImpl instead of the concrete RecordData so that any SmallVector can be used.
- Move ASTDeclWriter::WriteCXXDefinitionData to ASTWriter::AddCXXDefinitionData.
llvm-svn: 117236 | 
| | 
| 
| 
| 
| 
| 
| 
| | definition data when loaded from PCH.
Temporary disable 'test/PCH/chain-cxx.cpp' until a better way to fix it is in place.
llvm-svn: 117234 | 
| | 
| 
| 
| | llvm-svn: 117233 | 
| | 
| 
| 
| 
| 
| | UPDATE_VISIBLE block were recorded beforehand.
llvm-svn: 116931 | 
| | 
| 
| 
| | llvm-svn: 116866 | 
| | 
| 
| 
| 
| 
| | failures.
llvm-svn: 116859 | 
| | 
| 
| 
| | llvm-svn: 116838 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| | declaration block instead of trying to create another block.
The new block was messing with the assumption that after decls block comes the stmts block.
Fixes http://llvm.org/PR8406
llvm-svn: 116737 | 
| | 
| 
| 
| 
| 
| 
| 
| | by marking the decl invalid isn't.  Make some steps towards supporting these
and then hastily shut them down at the last second by marking them as
unsupported.
llvm-svn: 116661 | 
| | 
| 
| 
| 
| 
| | QualifierInfos (rdar://8513756).
llvm-svn: 116598 | 
| | 
| 
| 
| 
| 
| 
| 
| | complete declaration context in order to compute it.
Progress for rdar://7260160.
llvm-svn: 116508 | 
| | 
| 
| 
| 
| 
| | bit by me). 
llvm-svn: 116122 | 
| | 
| 
| 
| | llvm-svn: 115667 | 
| | 
| 
| 
| 
| 
| 
| 
| | already be determined by isCopyAssignmentOperator(), and was set too
late in the process for all clients to see the appropriate
value. Cleanup only; no functionality change.
llvm-svn: 114916 | 
| | 
| 
| 
| 
| 
| 
| 
| | The canonical FunctionTemplateDecl contains the specializations but we cannot use getCanonicalDecl on Template because it may still be initializing.
Write and read it from PCH.
Fixes http://llvm.org/PR8134
llvm-svn: 113744 |