llvm-svn: 89470

llvm-svn: 89469

same object to be a non-capture; Duncan pointed out a way that such
a comparison could be a capture.

Make the rule that considers a comparison against null more specific,
and only consider noalias return values compared against null. This
still supports test/Transforms/GVN/nonescaping-malloc.ll, and is not
susceptible to the problem Duncan pointed out with noalias arguments.

llvm-svn: 89468

llvm-svn: 89467

llvm-svn: 89465

llvm-svn: 89464

Makes '--comma-separated val1,val2' mean the same thing as
'--comma-separated=val1,val2' (that is, 'val1' and 'val2' are not lumped
together as 'val1,val2'). Also declutters the main loop a bit.

llvm-svn: 89463

llvm-svn: 89462

UINT<n>_C(v) macros. 

llvm-svn: 89461

and UINT<n>_MAX defintions.

llvm-svn: 89460

uint<n>_t definitions.

llvm-svn: 89459

llvm-svn: 89457

tests/Transforms/InstCombine/shufflemask-undef.ll.  If
anyone cares, the use of 2*e here (and the equivalent
all over the place in instcombine) seems wrong, though
harmless: it should really be twice the length of the
input vector.  I think shufflevector used to require
that the mask have the same length as the input, but I
don't think that's true any more.  I don't care enough
about vectors to do anything about this...

llvm-svn: 89456

driver.cpp:211: warning: ISO C++ forbids zero-size array 'argv'

llvm-svn: 89455

which was an expensive checks failure due to a bug in the checking.  This
patch in essence reverts the original fix for PR3393, and refixes it by a
tweak to the way expensive checking is done.

llvm-svn: 89454

llvm-svn: 89453

on ppc buildbot.

llvm-svn: 89452

llvm-svn: 89451

llvm-svn: 89450

Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class.  Fixes <rdar://problem/7252064>.

llvm-svn: 89449

Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused.  Fixes <rdar://problem/7254495>.

llvm-svn: 89448

llvm-svn: 89447

llvm-svn: 89446

llvm-svn: 89445

tail call has been encountered.

llvm-svn: 89444

llvm-svn: 89443

construction.  WIP.

llvm-svn: 89442

llvm-svn: 89441

llvm-svn: 89440

just before codegen.

llvm-svn: 89439

constructor.  WIP.

llvm-svn: 89438

llvm-svn: 89437

llvm-svn: 89435

because if the results from getUnderlyingObject match, the values must
be from the same underlying object, even if we don't know what that
object is.

llvm-svn: 89434

llvm-svn: 89433

llvm-svn: 89430

llvm-svn: 89429

Fix debug code that assumes getBasicBlock never returns NULL.

llvm-svn: 89428

llvm-svn: 89426

  A::f

that occurs within a non-static member function with a type-dependent
"this", don't consider this to be a case for introduction of an
implicit "(*this)." to refer to a specific member function unless we
know (at template definition time) that A is a base class of *this.

There is some disagreement here between GCC, EDG, and Clang about the
handling of this case. I believe that Clang now has the correct,
literal interpretation of the standard, but have asked for
clarification (c++std-core-15483).

llvm-svn: 89425