case of an elaborated-type-specifier like 'typename A<T>::foo', and
DependentTemplateSpecializationType represents the case of an
elaborated-type-specifier like 'typename A<T>::template B<T>'.  The TypeLoc
representation of a DependentTST conveniently exactly matches that of an
ElaboratedType wrapping a TST.

Kill off the explicit rebuild methods for RebuildInCurrentInstantiation;
the standard implementations work fine because the nested name specifier
is computable in the newly-entered context.

llvm-svn: 105801

llvm-svn: 105793

value semantics such that we recurse while the visitors return true, and halt
as soon as one returns false. Patch by csilvers.

llvm-svn: 105787

__USER_LABEL_PREFIX__.

llvm-svn: 105771

llvm-svn: 105770

llvm-svn: 105767

options.
 - This matches the intent of the .td files, and will simplify alias handling.
 - PR7321.

llvm-svn: 105763

llvm-svn: 105762

llvm-svn: 105761

deriving them from the Arg type.

llvm-svn: 105760

llvm-svn: 105759

Commit my WIP on constexpr support. This commit: an XFAILed test and treating constexpr as a top-level const.

llvm-svn: 105752

llvm-svn: 105751

unaliased", this isn't quite right yet.

llvm-svn: 105747

options.
 - This matches the intent of the .td files, and will simplify alias handling.
 - PR7321.

llvm-svn: 105744

they can be independent of the exact option that created them.

llvm-svn: 105739

possible.

llvm-svn: 105738

Make note about how to handle the dozen or so multiply by scalar ops.

llvm-svn: 105734

llvm-svn: 105716

new design discussed on cfe-dev, with further steps in that direction to come.
It is already much more complete than the previous visitor.

Patch by Zhanyong and Craig with 80 column wraps and one missing declaration
added by me.

llvm-svn: 105709

llvm-svn: 105708

a spurious substitution for an unscoped dependent template-id after introducing
a substitution for the scoped template-id.

llvm-svn: 105699

llvm-svn: 105687

improves generality. Thanks Ted.

llvm-svn: 105686

vget_lane support

llvm-svn: 105684

diagnosing this code as an error when it should, so I've filed
http://llvm.org/bugs/show_bug.cgi?id=7325. 

llvm-svn: 105683

- Refactored LengthModifier to be a class.
- Added toString methods in all member classes of FormatSpecifier.
- FixIt suggestions keep user specified flags unless incorrect.

Limitations:
- The suggestions are not conversion specifier sensitive. For example, if we have a 'pad with zeroes' flag, and the correction is a string conversion specifier, we do not remove the flag. Clang will warn us on the next compilation.

A    test/Sema/format-strings-fixit.c
M    include/clang/Analysis/Analyses/PrintfFormatString.h
M    lib/Analysis/PrintfFormatString.cpp
M    lib/Sema/SemaChecking.cpp

llvm-svn: 105680

being a subsequence of another standard conversion sequence. Instead
of requiring exact type equality for the second conversion step,
require type *similarity*, which is type equality with cv-qualifiers
removed at all levels. This appears to match the behavior of EDG and
VC++ (albeit not GCC), and feels more intuitive. Big thanks to John
for the line of reasoning that supports this change: since
cv-qualifiers are orthogonal to the second conversion step, we should
ignore them in the type comparison.

llvm-svn: 105678

llvm-svn: 105676

llvm-svn: 105673

llvm-svn: 105672

llvm-svn: 105671

llvm-svn: 105670

Test out some basic constant-checking.

llvm-svn: 105667

their associated memory destroyed when using a BumpPtrAllocator.  These objects internally use
a DenseMap.

llvm-svn: 105659

associated SmallVectors get deallocated.

llvm-svn: 105658

llvm-svn: 105657

llvm-svn: 105650

Add a global CreateGlobalInitOrDestructFunction and use it for creating global init or destruction functions.

llvm-svn: 105649

Rename __tcf_ to __cxx_global_array_dtor. Remove the UniqueAggreDestructorCount from CodeGenFunction and let LLVM handle uniquing the internal functions instead.

llvm-svn: 105648