llvm-svn: 101034

llvm-svn: 101033

a ScalarEvolution bug with overflow handling is fixed, the normal analysis
code will automatically decline to operate on the icmp instructions which
are responsible for the loop exit.

llvm-svn: 101032

correctly diagnose instantiation of a function parameter with Objective-C
class type (since Objective-C classes can't be passed by value).

llvm-svn: 101031

have preheaders or dedicated exit blocks, as clients may not otherwise
need to run LoopSimplify.

llvm-svn: 101030

function's type is (strictly speaking) non-dependent. This ensures
that, e.g., default function arguments get instantiated properly.

And, since I couldn't resist, collapse the two implementations of
function-parameter instantiation into calls to a single, new function
(Sema::SubstParmVarDecl), since the two had nearly identical code (and
each had bugs the other didn't!). More importantly, factored out the
semantic analysis of a parameter declaration into
Sema::CheckParameter, which is called both by
Sema::ActOnParamDeclarator (when parameters are parsed) and when a
parameter is instantiated. Previously, we were missing some
Objective-C and address-space checks on instantiated function
parameters.

Fixes PR6733.

llvm-svn: 101029

AddRecs so that it checks for overflow in the computation that it is
performing, rather than just checking hasNo{Signed,Unsigned}Wrap, since
those flags are for a different computation. This fixes a bug that
impacts an upcoming change.

llvm-svn: 101028

instead of deleting just the user. This makes it more consistent with
other code in IndVarSimplify, and theoretically can eliminate more users
earlier.

llvm-svn: 101027

llvm-svn: 101026

by David Chisnall

llvm-svn: 101024

llvm-svn: 101023

llvm-svn: 101022

This also fixes cases where super is used in a block in a
method which isn't valid.

llvm-svn: 101021

fields to two 16-bit values instead of using bitfields.

llvm-svn: 101020

llvm-svn: 101019

llvm-svn: 101018

llvm-svn: 101017

type, instead of having sema do it.

llvm-svn: 101016

llvm-svn: 101015

in "LookupInObjCMethod".

llvm-svn: 101014

llvm-svn: 101013

need TargetData, just return false if we don't have it.

Update testcases accordingly.

Fixes PR6807.

llvm-svn: 101011

llvm-svn: 101010

llvm-svn: 101009

the loop exit test. This usually doesn't come up for a variety of
reasons, but it isn't impossible, so make IndVarSimplify handle it
conservatively.

llvm-svn: 101008

llvm-svn: 101007

llvm-svn: 101006

llvm-svn: 101005

Have the CXXBaseOrMemberInitializer keep track of whether an initializer initializes a virtual base or not.

llvm-svn: 101004

llvm-svn: 101002

llvm-svn: 101001

variables. For example, with code like this:

  for (i=0;i<n;++i)
    if (i<n)
      x[i] = 0;

IndVarSimplify will now recognize that i is always less than n inside
the loop, and eliminate the if.

llvm-svn: 101000

llvm-svn: 100999

Fix another bug where we wouldn't generate secondary vtables for construction vtables in some cases.

llvm-svn: 100998

llvm-svn: 100997

thing if the cursor is not a decl (such as in the case of macros).

llvm-svn: 100996

loop conditions which are invariants.

llvm-svn: 100995

llvm-svn: 100994

ConstantRange(0, 0) creates an empty range rather than a full one.

llvm-svn: 100993

llvm-svn: 100992