using horrible string hacking.  This gives us a different label,
but it's just an assembler temporary, so the name doesn't matter.

llvm-svn: 75733

llvm-svn: 75732

Mangler in FnStubs.

llvm-svn: 75731

More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers.  Pointers that were invalidated as integers could later cause problems for clients using them as pointers.  It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.

This patch causes:
- StoreManager::InvalidateRegion() to not used the casted type of a region if
  it would cause a pointer type to be invalidated as a non-pointer type.
- Pushes RegionStore::RetrieveElement() further by handling retrievals from
  symbolic arrays that have been invalidated.  This uses the new SymbolDerived
  construct that was recently introduced.
  
The result is that the failing test in misc-ps-region-store-x86_64.m now passes.
Both misc-ps-region-store-x86_64.m and misc-ps-region-store-i386.m contain a
test case that motivated this change.

llvm-svn: 75730

a couple instances of printSuffixedName (in favor of having
the mangler do stuff).

llvm-svn: 75729

SymbolDerived allows us to model symbolic values that are related to other
symbols via a region hierarchy. For example, SymbolDerived can be used to model
individual values of a symbolic array.

llvm-svn: 75728

printSuffixedName automatically does this.

llvm-svn: 75727

extremely elaborate pic/nopic stubs.

llvm-svn: 75726

llvm-svn: 75725

llvm-svn: 75724

llvm-svn: 75723

and use this to simplify more code.

llvm-svn: 75722

llvm-svn: 75721

reference to the personality function for a module, and
those are all added to the GVStubs array by looping
over MMI->getPersonalities()

llvm-svn: 75720

eliminates a bunch of uses of "printSuffixedName" and "getGlobalLinkName".

llvm-svn: 75719

before each one.

llvm-svn: 75718

several unwanted dependencies.

llvm-svn: 75717

llvm-svn: 75716

llvm-svn: 75714

llvm-svn: 75713

a dependent type in the ctor initializer-list.

llvm-svn: 75712

llvm-svn: 75711

test behavior differs between architectures.  When this is no longer
the case, these tests will be merged.

llvm-svn: 75708

llvm-svn: 75707

llvm-svn: 75705

llvm-svn: 75703

llvm-svn: 75698

llvm-svn: 75697

llvm-svn: 75692

using -traditional and -traditional-cpp with clang an error because 
it's unsupported in clang and causes a significant change in the 
semantics of the language.

llvm-svn: 75690

llvm-svn: 75687

llvm-svn: 75686

llvm-svn: 75685

llvm-svn: 75684

llvm-svn: 75683

the operands have pointer type, so that the resulting type matches
the original SCEV type, and so that unnecessary ptrtoints are
avoided in common cases.

llvm-svn: 75680

Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions.  We do this by silently wrapping the region with an ElementRegion.  This fixes the failures in misc-ps-region-store.m.

llvm-svn: 75679

llvm-svn: 75678

llvm-svn: 75677

llvm-svn: 75675