Submitted by:
Reviewed by:
Fix a bozo bug in HandleDeclAttribute...only install a new type when appropriate.
Also changed setType/setUnderlyingType to return void.

llvm-svn: 39716

Submitted by:
Reviewed by:
- Finished semantic analysis for vectors, added some diagnostics.
- Added AST for vectors (instantiation, installation into the decl).
- Fixed bug in ParseArraySubscriptExpr()...this crasher was introduced by me
when we added the range support.
- Turned pedantic off by default. Since vectors are gcc extensions, having
pedantic on by default was annoying. Turning it off by default is  also
consistent with gcc (but this wasn't my primary motivation).
- Tweaked some comments and diagnostics.

Note: The type checking code is still under construction (for vectors). This
will be my next check-in.

llvm-svn: 39715

Reviewed by: Chris Lattner

- Fix for C++ casting operators failing during parsing. Deriving the C++ cast
  expressions from CastExpr was the wrong way to go. Its constructor creates
  null QualTypes in one of its constructors. This doesn't work well with how
  the C++ casting expression class wanted to do things. Derive just from Expr
  instead.

llvm-svn: 39714

llvm-svn: 39713

llvm-svn: 39712

llvm-svn: 39711

codegen support for +=.

llvm-svn: 39710

- The && at the end was causing this to fail. Removed.

llvm-svn: 39709

llvm-svn: 39708

llvm-svn: 39707

llvm-svn: 39706

llvm-svn: 39705

llvm-svn: 39704

llvm-svn: 39703

llvm-svn: 39702

recent changes.  carbon.h now preprocesses just fine.

llvm-svn: 39701

For example, for:

int test(short S, long L) {
  return S /= L;
}

record that the division is done as a long, even though the result type is
short.

llvm-svn: 39700

Update with -parse-ast-check.

llvm-svn: 39699

Missing support for LLVM casting operators.

llvm-svn: 39698

Small cleanup. No need to assign to a variable before returning.

llvm-svn: 39697

Fixed checking to coincide with the correct lines.

llvm-svn: 39696

- Revert use of -parse-ast-check.

llvm-svn: 39695

llvm-svn: 39694

llvm-svn: 39693

llvm-svn: 39692

llvm-svn: 39691

llvm-svn: 39690

- Chris noticed that if there were multiple warnings/errors expected
  throughout the file and we were checking only one of them, then it
  would go ahead and say that the whole file was okay. Fixed this by
  adding a check for the line number as well as the string.

llvm-svn: 39689

Reviewed by: Chris Lattner

Split up lines to have only one expected output per line. Restored some
checks.

llvm-svn: 39688

Reviewed by: Chris Lattner

- Reverted some checks because they're checking the preprocessor output.

llvm-svn: 39687

Removed unnecessary typedef.

llvm-svn: 39686

some ivars to more obvious names, eliminating some comments.

llvm-svn: 39685

llvm-svn: 39684

llvm-svn: 39683

this produces:

warn.c:4:3: warning: expression result unused
  X == Y;
  ^~~~~~
warn.c:5:3: warning: expression result unused
  (void)X;
  ^~~~~~~
warn.c:11:3: warning: expression result unused
  A == foo(1, 2);
  ^~~~~~~~~~~~~~
warn.c:13:3: warning: expression result unused
  foo(1,2)+foo(4,3);
  ^~~~~~~~~~~~~~~~~

llvm-svn: 39682

- Converted to use the -parse-ast-check flag.

llvm-svn: 39681

- Convert to using the -parse-ast-check method to check warnings and
  errors.

llvm-svn: 39680

- Shouldn't increment the iterator but a copy of it.

llvm-svn: 39679

Reviewed by: Chris Lattner

- Added a new diagnostic client, TextDiagnosticBuffer. It buffers all
  reported diagnostics.
- Use the new diagnostic client to check that expected diagnostics are
  actually emitted. The way this is done is to put the expected
  diagnostic in a comment on the line you expect it to be emitted for.
  Like this:

    int X = A; // expected-warning {{blah}}

- Use -parse-ast-check to use this feature.

llvm-svn: 39678

llvm-svn: 39677