Fix a couple recent ABI regressions noticed during code review (fallout from the ObjC type system rewrite).

It's unfortunate that the mangling includes the low-level structs. Nevertheless, we need this for binary compatibility with GCC.

llvm-svn: 76755

operations.

llvm-svn: 76753

the wrong function.  :-)

llvm-svn: 76752

llvm-svn: 76741

out of line.

llvm-svn: 76740

llvm-svn: 76726

variable.  This gives us much more flexibility with defining more
ProgramPoints, which is the direction we are heading.  The removal of
various bit-mangling of pointers also cleans up the logic.

llvm-svn: 76721

instead preferring to use the a region's actual type when creating
symbols and using the QualType passed to Retrieve for implicit
casting.  This preprocessor logic is temporary; eventually we will
either remove region casts or keep them.

Temporarily toggle (via preprocessor directives) that SymbolicRegions
with heap storage are not undefined, but instead should be
symbolicated.  If we want to model that a SymbolicRegion is
uninitialized, we can explicitly model that by binding UndefinedVal to
that region.  It turns out that we want to treat most heap objects as
being defined, not the other way around.

llvm-svn: 76720

'cast type' of a region to invalidate its binding.  This only occurs
when using RegionStoreManager, as it records the cast type.  I'm
currently considering removing the notion of a cast type (see
comments in code).

llvm-svn: 76719

   __attribute__((address_space(1))) struct {int arr[ 3 ]; }  *p1;
   ... = p1->arr[2];  // load from address space 1

llvm-svn: 76717

llvm-svn: 76716

llvm-svn: 76709

llvm-svn: 76708

cannot match that nested-name-specifier to a class template or class template
partial specialization.

llvm-svn: 76704

member functions of class templates, e.g.,

  template<typename T> 
  struct X {
    void f(T);
  };

  template<typename T> X<T>::f(T) { /* ... */ }

llvm-svn: 76692

llvm-svn: 76691

llvm-svn: 76690

llvm-svn: 76687

llvm-svn: 76685

llvm-svn: 76681

poisoning changes to DenseMap. We were using an iterator after it had been
invalidated by an insertion into the DenseMap.

llvm-svn: 76677

llvm-svn: 76670

destruction of base/members for each destructor AST.

llvm-svn: 76663

llvm-svn: 76656

Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet.

llvm-svn: 76648

This fixes PR 4602.

llvm-svn: 76647

llvm-svn: 76644

llvm-svn: 76643

llvm-svn: 76642

to SValuator::EvalCast. In the process, the StoreManagers now use this new cast
machinery, and the hack in GRExprEngine::EvalBind to handle implicit casts
involving OSAtomicCompareAndSwap and friends has been removed (and replaced with
logic closer to the logic specific to those functions).

llvm-svn: 76641

llvm-svn: 76640

llvm-svn: 76638

llvm-svn: 76637

 - Patch by Jean-Daniel Dupas

llvm-svn: 76632

1. Make it work correctly with anonymous unions.
2. Don't compute it if the warning isn't enabled.
3. Optimize the algorithm slightly to make it linear time in the 
case where we don't produce any warnings.

llvm-svn: 76630

llvm-svn: 76628

llvm-svn: 76627

llvm-svn: 76626

llvm-svn: 76625

llvm-svn: 76624