More work on type parameter packs.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73281 91177308-0d34-0410-b5e6-96231b3b80d8

Stop tracking non-compound value for struct. It may be caused by imprecise cast
logic.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73279 91177308-0d34-0410-b5e6-96231b3b80d8

Remove a bunch of unnecessary template argument deduction code that was
obviously written by someone who didn't read C++ [temp.class.spec].

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73276 91177308-0d34-0410-b5e6-96231b3b80d8

Move template type argument checking out into a separate function. No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73275 91177308-0d34-0410-b5e6-96231b3b80d8

When some template parameters of a class template partial
specialization cannot be deduced, produce a warning noting that the
affected class template partial specialization will never be used.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73274 91177308-0d34-0410-b5e6-96231b3b80d8

Fix PR4372, another case where non-prototyped functions can prevent
always_inline from working.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73273 91177308-0d34-0410-b5e6-96231b3b80d8

Improvements to TemplateArgumentListBuilder to make it work better with parameter packs.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73272 91177308-0d34-0410-b5e6-96231b3b80d8

A parameter pack must always come last in a class template.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73269 91177308-0d34-0410-b5e6-96231b3b80d8

No need to mark the parameter as invalid, just ignore the default argument.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73268 91177308-0d34-0410-b5e6-96231b3b80d8

Address more comments from Doug.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73267 91177308-0d34-0410-b5e6-96231b3b80d8

add the location of the ')' in a do/while statement to DoStmt.
This fixes a source range problem reported by Olaf Krzikalla.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73266 91177308-0d34-0410-b5e6-96231b3b80d8

Address comments from Doug - Add a Sema::SemaRef.BuildBlockPointerType and use it.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73264 91177308-0d34-0410-b5e6-96231b3b80d8

It looks like we've finished off matching of class template partial specializations; add comments and update the C++ status page

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73263 91177308-0d34-0410-b5e6-96231b3b80d8

Parameter packs can't have default arguments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73262 91177308-0d34-0410-b5e6-96231b3b80d8

Keep track of whether a type parameter is actually a type parameter pack.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73261 91177308-0d34-0410-b5e6-96231b3b80d8

Finish implementing checking of class template partial specializations

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73260 91177308-0d34-0410-b5e6-96231b3b80d8

Diagnose C++ [temp.class.spec]p9b3, where a class template partial
specialization's arguments are identical to the implicit template
arguments of the primary template. Typically, this is meant to be a
declaration/definition of the primary template, so we give that
advice.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73259 91177308-0d34-0410-b5e6-96231b3b80d8

Diagnose the incorrect use of non-type template arguments for class
template partial specializations.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73254 91177308-0d34-0410-b5e6-96231b3b80d8

Minor formatting tweak.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73251 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a minor formatting mistake.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73250 91177308-0d34-0410-b5e6-96231b3b80d8

Some updates to the gcc extension sections of the users manual.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73249 91177308-0d34-0410-b5e6-96231b3b80d8

Parse support for C++0x type parameter packs.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73247 91177308-0d34-0410-b5e6-96231b3b80d8

Verify that the template parameters of a class template partial
specialization do not have default arguments
(C++ [temp.class.spec]p10).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73245 91177308-0d34-0410-b5e6-96231b3b80d8

Update the C++ status to reflect improvements in template argument deduction and the handling of class template partial specializations

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73242 91177308-0d34-0410-b5e6-96231b3b80d8

Fix PR4365.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73240 91177308-0d34-0410-b5e6-96231b3b80d8

Improve template argument deduction to keep track of why template
argument deduction failed. For example, given

  template<typename T> struct is_same<T, T> { ... };

template argument deduction will fail for is_same<int, float>, and now
reports enough information

Right now, we don't do anything with this extra information, but it
can be used for informative diagnostics that say, e.g., "template
argument deduction failed because T was deduced to 'int' in one
context and 'float' in another".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73237 91177308-0d34-0410-b5e6-96231b3b80d8

It's an error to use a function declared in a class definition as a default argument before the function has been declared.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73234 91177308-0d34-0410-b5e6-96231b3b80d8

Deducation and instantiation of block types.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73232 91177308-0d34-0410-b5e6-96231b3b80d8

use getAsPointerType() method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73218 91177308-0d34-0410-b5e6-96231b3b80d8

CMake: New variable LLVM_LIBDIR_SUFFIX.

Patch by Ingmar Vanhassel!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73217 91177308-0d34-0410-b5e6-96231b3b80d8

Don't assert when generating code with static_asserts.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73208 91177308-0d34-0410-b5e6-96231b3b80d8

PR4371: Reduce the inlining threshold outside of -O3.  This makes
the clang inlining threshold consistent with the threshold for llvm-gcc.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73204 91177308-0d34-0410-b5e6-96231b3b80d8

Following gcc, hide the hack to include the SSE2 intrinsics from
xmmintrin.h in an ifdef.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73200 91177308-0d34-0410-b5e6-96231b3b80d8

Add summary lookup for IOServiceGetMatchingService.
Convert tabs to spaces.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73198 91177308-0d34-0410-b5e6-96231b3b80d8

Refactor some function name -> summary lookup using a switch statement.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73197 91177308-0d34-0410-b5e6-96231b3b80d8

Once we have deduced the template arguments of a class template
partial specialization, substitute those template arguments back into
the template arguments of the class template partial specialization to
see if the results still match the original template arguments.

This code is more general than it needs to be, since we don't yet
diagnose C++ [temp.class.spec]p9. However, it's likely to be needed
for function templates.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73196 91177308-0d34-0410-b5e6-96231b3b80d8

Add a null check that fixes the crash in PR4362, and make sure to instantiate non-type template arguments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73193 91177308-0d34-0410-b5e6-96231b3b80d8

Point to the clang driver, not the ccc driver

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73192 91177308-0d34-0410-b5e6-96231b3b80d8

Add pseudo-destructors to the Open Projects list

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73191 91177308-0d34-0410-b5e6-96231b3b80d8

Prune some projects that have already been started

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73190 91177308-0d34-0410-b5e6-96231b3b80d8

Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the
comments for added test case for details.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73189 91177308-0d34-0410-b5e6-96231b3b80d8

Use more robust getAsRecordType() method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73186 91177308-0d34-0410-b5e6-96231b3b80d8

Make sure to calculate value-dependence correctly when deal with ICEs.
(Actually, this isn't precisely correct, but it doesn't make
sense to query whether an expression that isn't an ICE is
value-dependent anyway.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73179 91177308-0d34-0410-b5e6-96231b3b80d8

Move test to be with the other typename tests.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73178 91177308-0d34-0410-b5e6-96231b3b80d8

PR4364: fix parsing 'typename' in an expression.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73177 91177308-0d34-0410-b5e6-96231b3b80d8

Separate TemplateArgument instantiation logic into its own function. No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73176 91177308-0d34-0410-b5e6-96231b3b80d8

Template argument deduction for member pointers.

Also, introduced some of the framework for performing instantiation as
part of template argument deduction.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73175 91177308-0d34-0410-b5e6-96231b3b80d8

Support complex properties, ivars and message expressions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73158 91177308-0d34-0410-b5e6-96231b3b80d8

PR4350: Make sure we don't create invalid printf attributes.  This isn't
visible anywhere normally because the printf format checks for
this case, and we don't print out attribute values anywhere.  Original
patch by Roberto Bagnara.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73157 91177308-0d34-0410-b5e6-96231b3b80d8

PR4353: Add support for \E as a character escape.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73153 91177308-0d34-0410-b5e6-96231b3b80d8

Handle member pointer types with dependent class types (e.g., int
T::*) and implement template instantiation for member pointer types.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73151 91177308-0d34-0410-b5e6-96231b3b80d8

Example metaprogram for reversing and searching in a type list

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73147 91177308-0d34-0410-b5e6-96231b3b80d8

Implement template argument deduction for class template
specialization types. As the example shows, we can now compute the
length of a type-list using a template metaprogram and class template
partial specialization.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73136 91177308-0d34-0410-b5e6-96231b3b80d8

Add redirects to new static analysis web site.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73120 91177308-0d34-0410-b5e6-96231b3b80d8

Update static analyzer link to new website.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73119 91177308-0d34-0410-b5e6-96231b3b80d8

Comment out preliminary text due to wishful thinking of getting more documentation done by this point.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73118 91177308-0d34-0410-b5e6-96231b3b80d8

Last menu color tweaking (for now).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73117 91177308-0d34-0410-b5e6-96231b3b80d8

More color tweaking.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73116 91177308-0d34-0410-b5e6-96231b3b80d8

Update menu colors.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73115 91177308-0d34-0410-b5e6-96231b3b80d8

Update menu color.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73114 91177308-0d34-0410-b5e6-96231b3b80d8

Update checker build file (accidentally used old one).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73113 91177308-0d34-0410-b5e6-96231b3b80d8

Fix link.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73112 91177308-0d34-0410-b5e6-96231b3b80d8

Add more parser support for Microsoft extensions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73101 91177308-0d34-0410-b5e6-96231b3b80d8

Fix test, which could miss failures, and also avoid leaving temporary .i file in
source directory.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73094 91177308-0d34-0410-b5e6-96231b3b80d8

Add stack alignment to x86_64 target data.
 - <rdar://problem/6948443> WARNING: Linking two modules of different data
   layouts!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73093 91177308-0d34-0410-b5e6-96231b3b80d8

Forward -C and -CC to clang.
 - <rdar://problem/6945384> Driver should pass down -C and -CC

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73087 91177308-0d34-0410-b5e6-96231b3b80d8

Add skeleton files for new analyzer site.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73086 91177308-0d34-0410-b5e6-96231b3b80d8

Minor tweaks to the Windows target.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73083 91177308-0d34-0410-b5e6-96231b3b80d8

PR4016: Forward -fno-show-source-location to clang.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73082 91177308-0d34-0410-b5e6-96231b3b80d8

PR4346: add "R" asm register constraint.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73081 91177308-0d34-0410-b5e6-96231b3b80d8

Address comments from Doug.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73077 91177308-0d34-0410-b5e6-96231b3b80d8

Test template argument deduction on function types a little more

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73072 91177308-0d34-0410-b5e6-96231b3b80d8

Document the template argument deduction patterns that Anders' patch supports

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73071 91177308-0d34-0410-b5e6-96231b3b80d8

Template argument deduction for function types.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73070 91177308-0d34-0410-b5e6-96231b3b80d8

Add real parsing for __declspec.  It doesn't make much of a difference
at the moment because we ignore the result.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73056 91177308-0d34-0410-b5e6-96231b3b80d8

Minor documentation update about Microsoft extensions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73052 91177308-0d34-0410-b5e6-96231b3b80d8

Misc minor fixes for clang for the Windows target.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73050 91177308-0d34-0410-b5e6-96231b3b80d8

Say a bit about various architectures in the users manual.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73044 91177308-0d34-0410-b5e6-96231b3b80d8

Delete method which is now trivial.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73043 91177308-0d34-0410-b5e6-96231b3b80d8

teach clang that -Wunused turns on all unused warnings, even though most
of these are not implemented yet.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73042 91177308-0d34-0410-b5e6-96231b3b80d8

Don't allow defining a block with a non-prototype type.  Remove a
hack which introduces some strange inconsistencies in compatibility
for block pointers.

Note that unlike an earlier revision proposed on cfe-commits, this patch
still allows declaring block pointers without a prototype.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73041 91177308-0d34-0410-b5e6-96231b3b80d8

Instantiation support for more Obj-C expressions, string literals, @selector and @protocol expressions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73036 91177308-0d34-0410-b5e6-96231b3b80d8

Template instantiation support for Obj-C @encode expressions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73034 91177308-0d34-0410-b5e6-96231b3b80d8

Remove dead code: 'NewEntry' is not used.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73027 91177308-0d34-0410-b5e6-96231b3b80d8

Remove a few more vector builtins.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73022 91177308-0d34-0410-b5e6-96231b3b80d8

xmmintrin needs to include emmintrin, Darwin system headers seem to depend on it
defining m128[id], at least.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73021 91177308-0d34-0410-b5e6-96231b3b80d8

Now that LLVM CodeGen can handle the generic variations a bit better,
get rid of a few more clang vector builtins.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73015 91177308-0d34-0410-b5e6-96231b3b80d8

CMake: Install Clang's headers into the right place in the build tree, for regression testing

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73014 91177308-0d34-0410-b5e6-96231b3b80d8

PR4339: make sure to properly extend/trunc the index of a vector element
insert/extract; the relevant instructions are defined to take only an
i32.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73005 91177308-0d34-0410-b5e6-96231b3b80d8

Test changes to account for removed builtins.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73004 91177308-0d34-0410-b5e6-96231b3b80d8

Update checker build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73001 91177308-0d34-0410-b5e6-96231b3b80d8

Adds synthesize ivars to DeclContext.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73000 91177308-0d34-0410-b5e6-96231b3b80d8

Add new ABIArgInfo kind: Extend. This allows target to implement its own argument
zero/sign extension logic (consider, e.g. target has only 64 bit registers and thus
i32's should be extended as well).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72998 91177308-0d34-0410-b5e6-96231b3b80d8

Get rid of a bunch of dead builtins.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72996 91177308-0d34-0410-b5e6-96231b3b80d8

Replace more calls to builtins with generic code.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72995 91177308-0d34-0410-b5e6-96231b3b80d8

Fix obvious typo.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72994 91177308-0d34-0410-b5e6-96231b3b80d8

Make ParmVarDecl::getDefaultArg() more robust, it now asserts that the argument is not unparsed. Add a new hasDefaultArg() and use it in places where getDefaultArg() was called when the argument was unparsed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72984 91177308-0d34-0410-b5e6-96231b3b80d8

Fix some casts to work without -flax-vector-conversions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72981 91177308-0d34-0410-b5e6-96231b3b80d8

Misc fixes to MMX/SSE intrinsics: a few small bug fixes, and getting rid
of calls to builtins for constructs which can be expressed directly.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72979 91177308-0d34-0410-b5e6-96231b3b80d8

Default builtin creation to off; we don't really want to be doing it
without a relevant source location anyway.  Fixes the issue with weird
warnings when including objc/Object.h on OS X.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72978 91177308-0d34-0410-b5e6-96231b3b80d8