llvm-svn: 64860

llvm-svn: 64859

Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.

llvm-svn: 64854

- now logs which source files had "ignored attributes".
- disable-free is enabled

scan-build:
- now displays a table of ignored attributes under "Analyzer Failures".

llvm-svn: 64853

llvm-svn: 64852

Build of the parm list with the iterator, not end().

llvm-svn: 64851

with Expr::Evaluate().

llvm-svn: 64850

llvm-svn: 64849

specialization of class templates, e.g.,

  template<typename T> class X;

  template<> class X<int> { /* blah */ };

Each specialization is a different *Decl node (naturally), and can
have different members. We keep track of forward declarations and
definitions as for other class/struct/union types.

This is only the basic framework: we still have to deal with checking
the template headers properly, improving recovery when there are
failures, handling nested name specifiers, etc.

llvm-svn: 64848

catching internal consistency problems (esp. w/ reference compiler).

llvm-svn: 64847

llvm-svn: 64846

crash because the alias would still be using the aliasee when the
aliasee was deleted.

llvm-svn: 64844

llvm-svn: 64838

llvm-svn: 64837

llvm-svn: 64835

The debugger sometimes lookup dynamically in the runtime to find ivar info of any Objective-C classes. It would be very helpful to debugger if the compiler encodes runtime version number in DWARF.

Add support for two additional DWARF attributes to encode Objective-C runtime version number.

llvm-svn: 64834

BasicValueFactory: getMinValue/getMaxValue can be applied to any location type as specified by Loc::IsLocType().

llvm-svn: 64832

llvm-svn: 64831

 - Renamed to getDeclAlignInBytes since most other query functions
   work in bits.

 - Fun to track down as isIntegerConstantExpr was getting it right,
   but Evaluate() was getting it wrong. Maybe we should assert they
   compute the same thing when they succeed?

llvm-svn: 64828

(Note: Eventually, commits like this will be handled via a pre-commit hook that
 does this automagically, as well as expand tabs to spaces and look for 80-col
 violations.)

llvm-svn: 64827

llvm-svn: 64826

llvm-svn: 64820

llvm-svn: 64815

if other hooks are missing.

llvm-svn: 64812

llvm-svn: 64811

modified in a way that may effect the trip count calculation. Change
IndVars to use this method when it rewrites pointer or floating-point
induction variables instead of using a doInitialization method to
sneak these changes in before ScalarEvolution has a chance to see
the loop. This eliminates the need for LoopPass to depend on
ScalarEvolution.

llvm-svn: 64810

eliminate all the extensions and all but the one required truncate
from the testcase, but the or/and/shift stuff still isn't zapped.

llvm-svn: 64809

llvm-svn: 64808

llvm-svn: 64806

llvm-svn: 64805

llvm-svn: 64804

llvm-svn: 64802

Pass the DeclContext to ObjCIvarDecls as well.

llvm-svn: 64801

llvm-svn: 64800

llvm-svn: 64799

llvm-svn: 64798

llvm-svn: 64796

llvm-svn: 64791

Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager.

llvm-svn: 64788

Zhongxing Xu. The resultant code is less than 1/2 the size of the original.

Key highlights:

- All CouldBeXXX methods have been removed. Checking for feasibility is now just
  done in the AddXXX methods.

- RangeSets now represent "all possible values" explicitly as the range set {
  [min, max] } instead of the empty set. The empty set now represents "no
  feasible values". This change consolidated much of the core algorithm to only
  have one code path instead of alternate paths that considered the empty set to
  represent "all possible falues."

llvm-svn: 64787