llvm-svn: 110526

of just ignoring it.

llvm-svn: 110525

Push location through the MacroUndefined PPCallback and use it to print #undefs in -dD mode. (PR7818)

llvm-svn: 110523

conversions. Fixes PR7443.

llvm-svn: 110519

llvm-svn: 110515

an lvalue of another, compatible Objective-C object type (e.g., a
subclass). Introduce a new initialization sequence step kind to
describe this binding, along with a new cast kind. Fixes PR7741.

llvm-svn: 110513

to avoid the awesome-but-wrong-in-this-case assertion in the canon EAC.
Fixes PR7834.

Also fix a subtle address-space bug in the memset path.

llvm-svn: 110511

llvm-svn: 110510

This takes some trickery since CastExpr has subclasses (and indeed,
is abstract).

Also, smoosh the CastKind into the bitfield from Expr.

Drops two words of storage from Expr in the common case of expressions
which don't need inheritance paths.  Avoids a separate allocation and
another word of overhead in cases needing inheritance paths.  Also has
the advantage of not leaking memory, since destructors for AST nodes are
never run.

llvm-svn: 110507

__overflow_handler entrypoint that David Chisnall made up.
Calling __overflow_handler is not part of the contract of
-ftrapv provided by GCC, and should never have been checked
in in the first place.

According to:
http://permalink.gmane.org/gmane.comp.compilers.clang.devel/8699

David is using this for some of arbitrary precision integer stuff
or something, which is not an appropriate thing to implement on
this.

llvm-svn: 110490

dependent in ActOnIdExpression.  (This issue only shows up with member
operators because an operator is never a type.)

llvm-svn: 110486

Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)
- Added IdempotentOperationChecker to experimental analyses for testing purposes
- Updated test cases to explictly call the checker

llvm-svn: 110482

llvm-svn: 110473

Nest variable declaration into into 'if' condition, thus restricting the scope of the variable and condensing the code.

llvm-svn: 110472

Use 'GenerateNode()' instead of 'GenerateSink()' when reporting a leak.  A leak is not a hard enough bug to stop analyzing a path.

llvm-svn: 110471

way to tell gcc "really, values outside the enum aren't valid".

llvm-svn: 110450

union type variables and their nesting inside other
aggregate types.

llvm-svn: 110448

but we were parsing the C grammar. Handle the C++ grammar
appropriately. Fixes PR7794.

llvm-svn: 110445

a template-argument-list. When template template parameters are
involved, we won't already have checked the template-argument-list (it
may not be known yet!). Fixes PR7807.

llvm-svn: 110444

prototypes. Fixes PR7738.

llvm-svn: 110443

llvm-svn: 110442

llvm-svn: 110441

Fixes PR4897.

llvm-svn: 110440

C++, from Andrea Nall!

llvm-svn: 110439

vectors, from Anton Yartsev!

llvm-svn: 110437

Introduce a new token kind 'cxx_defaultarg_end' to mark the end of C++ default arguments that were part of
lexed method declarations.

This avoid interference with tokens coming after the point where the default arg tokens were 'injected', e.g. for

typedef struct Inst {
  void m(int x=0);
} *InstPtr;

when parsing '0' the next token would be '*' and things would be messed up.

llvm-svn: 110436

llvm-svn: 110433

llvm-svn: 110432

If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful.

llvm-svn: 110430

<rdar://problem/8278732>

llvm-svn: 110420

llvm-svn: 110418

found within contexts other than the translation unit.

llvm-svn: 110417

llvm-svn: 110414

llvm-svn: 110392

When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830.

llvm-svn: 110390

llvm-svn: 110389

these, but it's convenient to mangle them when deferring them (in the 99.99%
case where it's not an anonymous union, of course).

llvm-svn: 110381

llvm-svn: 110378

(objc gc and blocks in NeXt runtime).

llvm-svn: 110377

do the right thing with mixed-visibility symbols, so disable the visibility
optimization where that's possible, i.e. with template classes (since it's
possible that an arbitrary template might be subject to an explicit
instantiation elsewhere).  447.dealII actually does this.

I've put the code under an option that's currently not hooked up to anything.

llvm-svn: 110374