For instance:

template <class T> void E() {};
class F {};

void test() {
 ::E<::F>();
 E<::F>();
}

Gives the following error messages:

error: found '<::' after a template name which forms the
     digraph '<:' (aka '[') and a ':', did you mean '< ::'?
 ::E<::F>();
    ^~~
    < ::
error: expected expression
 E<::F>();
    ^
error: expected ']'
note: to match this '['
 E<::F>();

This patch adds the digraph fix-it check right before the name lookup,
moves the shared checking code to a new function, and adds new
tests to catch future regressions.

llvm-svn: 140039

Radar 10139522 - Part 1.

llvm-svn: 140038

We were failing to set source locations and ranges in isUnusedResultAWarning
for CXXOperatorCallExprs, leading to an "expression result unused" warning
with absolutely no context if the expression was inside a macro.

llvm-svn: 140036

instead of internal linkage.

llvm-svn: 140030

In constructors, don't generate implicit initializers for members of anonymous structs contained within anonymous unions.

llvm-svn: 140015

Move the "jump bypasses variable initialization" error -> warning downgrade from -fms-extensions to -fms-compatibility.

llvm-svn: 140008

In Microsoft mode(-fms-compatibility), prefer an integral conversion to a floating-to-integral conversion if the integral conversion is between types of the same size.

For example:
 void f(float);
 void f(int);
 int main {
    long a;
    f(a);
 }
Here, MSVC will call f(int) instead of generating a compile error as clang will do in standard mode.
This fixes a few errors when parsing MFC code with clang.

llvm-svn: 140007

has no effect since any such destructors must be trivial, and in C++11 such destructors must not
be called.

llvm-svn: 139997

mem-initializer is specified for them, unless an in-class initializer is specified.

llvm-svn: 139996

Fix PR10531. Attach an initializer to anonymous unions, since the default constructor might not be trivial (if there is an in-class initializer for some member) and might be deleted.

llvm-svn: 139991

Fixes PR10771.

llvm-svn: 139990

class of this method. // rdar://10109725

llvm-svn: 139989

is missing. // rdar//10127639

llvm-svn: 139988

the AST reader), merge that header file information with whatever
header file information we already have. Otherwise, we might forget
something we already knew (e.g., that the header was #import'd already).

llvm-svn: 139979

arbitrary amount of code. This forces us to stage the AST writer more
strictly, ensuring that we don't assign a declaration ID to a
declaration until after we're certain that no more modules will get
loaded.

llvm-svn: 139974

Also add a test case for the non Microsoft case because such test didn't exist.

llvm-svn: 139971

[analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 5 of ?):
 - Get rid of PathDiagnosticLocation(SourceRange r,..) constructor by providing a bunch of create methods.
 - The PathDiagnosticLocation(SourceLocation L,..), which is used by crate methods, will eventually become private.
 - Test difference is in the case when the report starts at the beginning of the function. We used to represent that point as a range of the very first token in the first statement. Now, it's just a single location representing the first character of the first statement.

llvm-svn: 139932

Without -ffreestanding, clang tries to seek /usr/include/stdlib.h in host filesystem, even on Windows hosts.

llvm-svn: 139899

llvm-svn: 139875

Tweak *mmintrin.h so that they don't make any bad assumptions about alignment (which probably has little effect in practice, but better to get it right).  Make the load in _mm_loadh_pi and _mm_loadl_pi a single LLVM IR instruction to make optimizing easier for CodeGen.

rdar://10054986

llvm-svn: 139874

#include or #import direcctives of framework headers into module
imports of the corresponding framework module.

llvm-svn: 139860

llvm-svn: 139838

instead of 'Class'.

llvm-svn: 139834

[analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 4 of ?):
 - The closing brace is always a single location, not a range.
 - The test case previously had a location key 57:1 followed by a range [57:1 - 57:1]. 

llvm-svn: 139832

When we load the first module, make sure that we wire up the ASTConsumer to the newly-created ASTReader. This makes sure that CodeGen sees the declarations it is interested in

llvm-svn: 139824

in class methods with no warning. //rdar://10109725

llvm-svn: 139818

llvm-svn: 139814

relicensing them under the license for llvm.

llvm-svn: 139812

-Use an array of offsets for all preprocessed entities
-Get rid of the separate array of offsets for just macro definitions;
 for references to macro definitions use an index inside the preprocessed
 entities array.
-Deserialize each preprocessed entity lazily, at first request; not in bulk.

Paves the way for binary searching of preprocessed entities that will offer
efficiency and will simplify things on the libclang side a lot.

llvm-svn: 139809

llvm-svn: 139804

Thread safety: refactoring various out of scope warnings to use the same inteface. This eliminates a lot of unnecessary duplicated code.

llvm-svn: 139801

llvm-svn: 139791

llvm-svn: 139752

llvm-svn: 139750

Don't try to write a macro offset for an identifier that names a non-exported macro, for real this time

llvm-svn: 139745

llvm-svn: 139734

llvm-svn: 139729

llvm-svn: 139728

llvm-svn: 139727

llvm-svn: 139723