- Previously this would crash on recursive types, and it was also incorrectly
   stripping off a level of indirection.
 - I'm not 100% convinced this is all correct, but it should be a monotonic
   improvment.

llvm-svn: 75582

invalidate the region correctly. It uses the cast-to type to invalidate 
the region when available. To avoid invalid cast-to type like 'void*' or 'id',
region store now only records non-generic casts of regions.

llvm-svn: 75580

XFAIL this for now until I prepare clang specific patch.

llvm-svn: 75575

are not explicitly marked as not accepting NULL pointers. This check illustrates
how we need more refactoring in the custom-check logic.

llvm-svn: 75570

llvm-svn: 75569

Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream.

llvm-svn: 75560

When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol used for the region (makes it easier to read for nested regions).

llvm-svn: 75550

llvm-svn: 75549

Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang.

llvm-svn: 75548

where we are comparing a symbolic value against itself, regardless of
the nature of that symbolic value.

This enhancement identified a case where RegionStoreManager is not
correctly symbolicating the values of the pointees of parameters.  The
failing test is now in 'test/Analysis/misc-ps-region-store.m', with
that test file now (temporarily) marked XFAIL.

llvm-svn: 75521

in array value-initialization.

llvm-svn: 75518

llvm-svn: 75517

llvm-svn: 75509

for stdin.

llvm-svn: 75506

llvm-svn: 75505

llvm-svn: 75504

llvm-svn: 75492

llvm-svn: 75487

- Improve comment for Type::getPointeeType().
- Remove a couple redundant casts/returns.
- Fix 80 column violations for all getAsStringInternal() methods.

llvm-svn: 75485

Still more to come...just wanted to get the no-brainers out of the way.

llvm-svn: 75477

llvm-svn: 75473

llvm-svn: 75471

llvm-svn: 75446

llvm-svn: 75442

llvm-svn: 75441

llvm-svn: 75439

llvm-svn: 75437

llvm-svn: 75436

llvm-svn: 75435

llvm-svn: 75432

llvm-svn: 75431

 - I think I did this commit sequence before. :)

llvm-svn: 75420

llvm-svn: 75404

llvm-svn: 75401

llvm-svn: 75400

 - These kinds of "shotgun" tests are very slow, and do not belong in the
   regression suite. If these kinds of tests are regarded to have value, they
   should be added to the LLVM test-suite.

 - I would actually like to remove all of these tests, but I left Sema/carbon.c
   and SemaObjC/cocoa.m...

llvm-svn: 75399

llvm-svn: 75396

 - I don't see any need for it to be this expensive.

llvm-svn: 75395

llvm-svn: 75390

 - Previous code was based on a misunderstanding (on my part) of the type
   representation.

llvm-svn: 75385