llvm-svn: 122087

that match gcc versions. Eew.

llvm-svn: 122080

llvm-svn: 122058

llvm-svn: 122056

checker that are automatically handled now
by the Cocoa conventions logic.

llvm-svn: 122047

when the selector is the string 'mutable'.

llvm-svn: 122046

llvm-svn: 122041

to libAnalysis.  Similar to Format (format string checking), 
CocoaConventions has the
potential to serve clients other than the
static analyzer.

llvm-svn: 122040

only indicates the create rule if it starts
at the beginning of the method name, not
within the method name.

llvm-svn: 122036

to start with lowercase characters.  No
functionality change.

llvm-svn: 122035

way to do this, but it fixes rdar://problem/8778973

llvm-svn: 122033

llvm-svn: 122021

Fixes rdar://problem/8776586.

llvm-svn: 121992

occur within statements. Teach Sema::ActOnExceptionDeclarator() to
check for unexpanded parameter packs in the exception type.

llvm-svn: 121984

llvm-svn: 121979

non-type template parameters until we know that we have an actual
template declaration of some sort. This cannot be tested yet, but will
become important when we have template template parameter packs.

llvm-svn: 121967

llvm-svn: 121964

llvm-svn: 121962

implicit lvalue-to-rvalue casts that John McCall
recently introduced.  This causes a whole bunch
of logic in the analyzer for handling lvalues
to vanish.  It does, however, raise a few issues
in the analyzer w.r.t to modeling various constructs
(e.g., field accesses to compound literals).

The .c/.m analysis test cases that fail are
due to a missing lvalue-to-rvalue cast that
will get introduced into the AST.  The .cpp
failures were more than I could investigate in
one go, and the patch was already getting huge.
I have XFAILED some of these tests, and they
should obviously be further investigated.

Some highlights of this patch include:

- CFG no longer requires an lvalue bit for
  CFGElements
- StackFrameContext doesn't need an 'asLValue'
  flag
- The "VisitLValue" path from GRExprEngine has
  been eliminated.

Besides the test case failures (XFAILed), there
are surely other bugs that are fallout from
this change.

llvm-svn: 121960

llvm-svn: 121956

DeclarationNameInfo instances don't always have a non-NULL
TypeSourceInfo?

llvm-svn: 121940

llvm-svn: 121938

llvm-svn: 121934

in a forward @class object. // rdar://8774513

llvm-svn: 121933

drive-by, make sure to check for unexpanded parameter packs within the
name of a declaration.

llvm-svn: 121930

llvm-svn: 121928

llvm-svn: 121922

Also tweak the VCVT_F32_F16 entry in arm_neon.td to be more consistent with
the other floating-point conversion builtins.  Radar 8068427.

llvm-svn: 121916

created for auto-synthesis are @private.
Fixes: // rdar://8769582

llvm-svn: 121913

declarations. This is a work in progress, as I go through the C++
declaration grammar to identify where unexpanded parameter packs can
occur.

llvm-svn: 121912

unexpanded parameter pack" bit and that the recursive AST visitor can
then find those unexpanded parameter packs.

llvm-svn: 121899

parameter packs within a statement, type, etc. Use this visitor to
provide improved diagnostics for the presence of unexpanded parameter
packs in a full expression, base type, declaration type, etc., by
highlighting the unexpanded parameter packs and providing their names,
e.g.,

test/CXX/temp/temp.decls/temp.variadic/p5.cpp:28:85: error: declaration type
      contains unexpanded parameter packs 'VeryInnerTypes',
      'OuterTypes', ...
  ...VeryInnerTypes, OuterTypes>, pair<InnerTypes, OuterTypes> > types;
     ~~~~~~~~~~~~~~  ~~~~~~~~~~        ~~~~~~~~~~  ~~~~~~~~~~    ^

llvm-svn: 121883

Diagnostic pragmas are broken because we don't keep track of the diagnostic state changes and we only check the current/latest state.
Problems manifest if a diagnostic is emitted for a source line that has different diagnostic state than the current state; this can affect
a lot of places, like C++ inline methods, template instantiations, the lexer, etc.

Fix the issue by having the Diagnostic object keep track of the source location of the pragmas so that it is able to know what is the diagnostic state at any given source location.

Fixes rdar://8365684.

llvm-svn: 121873

Move the work-in-progress implementation of variadic templates to its own file in Sema. No functionality change.

llvm-svn: 121869

come first.

llvm-svn: 121866

parameters. Fixes <rdar://problem/8769025>.

llvm-svn: 121864

BuildExpressionFromIntegralTemplateArgument can produce malformed
IntegerLiterals with an EnumType if the template parameter type
is an EnumType.  This breaks the AST printer which expects all
IntegerLiterals to have a plain integer type.  Instead, give the
IntegerLiteral the enum's promotion type and wrap in an implicit cast
to the EnumType.

llvm-svn: 121862

Silence GCC warning about control reaching the end of the function and explicitly mark that all cases are handled.

llvm-svn: 121855

future task of performing contextual conversion to size_t in a VLA size
expression. :)

llvm-svn: 121836

within the class.  Teach IR gen to look for function definitions in record
lexical contexts when deciding whether to emit a function whose address    
was taken.  Fixes PR8789.

llvm-svn: 121833