llvm-svn: 70569

class/protocol and implementation which could be
an imm. implementation or down in the inheritance
hierarchy.

llvm-svn: 70568

llvm-svn: 70567

llvm-svn: 70566

- Don't layer TypedViewRegions on top of any region except
  SymbolicRegions and AllocaRegions.  This follows from my offline
  discussion within Zhongxing about how TypedViewRegions really only
  represent memory getting re-appropriated for a new purpose.

Fallout	from this change:
- Move test case from xfail_rdar_6440393.m to misc-ps-64.m
  (it now passes).

- test/Analysis/fields.c now fails for region store (crash).
  Marking XFAIL.

- test/Analysis/rdar-6441136-region.c now fails (only runs with region store).
  Marking XFAIL.

  Diagnosis: The analyzer now correctly identifies an early out-of-bounds memory
   access then the one flagged:

  rdar-6541136-region.c:17:3: warning: Load or store into an out-of-bound memory position.
    *p = 1;
    ^~

  Changing the line:
   char *p = (void*) &wonky[1];
  to
   char *p = (void*) &wonky[0];

  (which should delay the buffer overrun) causes region store to crash, probably
  because it expects a TypedViewRegion.

- test/Analysis/casts.c (region store) now fails (crash).
  Marking XFAIL.

llvm-svn: 70565

llvm-svn: 70564

llvm-svn: 70563

llvm-svn: 70562

Changes to take advantage of this will come later.

llvm-svn: 70560

llvm-svn: 70559

file name, thus causing the test case to hang).

llvm-svn: 70558

llvm-svn: 70557

is associated with a SCEV expansion.

llvm-svn: 70556

target hooks canLosslesslyBitCastTo and isTruncateFree. This allows
targets to avoid worrying about handling all combinations of integer
and pointer types.

llvm-svn: 70555

artificial "ptrtoint", as it tends to clutter up complicated
expressions. The cast operators now print both source and
destination types, which is usually sufficient.

llvm-svn: 70554

always folded by the regular constant folder because it doesn't have
TargetData information.

llvm-svn: 70553

Instructions.

llvm-svn: 70552

llvm-svn: 70551

llvm-svn: 70550

avoids duplicate scevs that differ only in type.

llvm-svn: 70549

llvm-svn: 70548

llvm-svn: 70547

llvm-svn: 70546

location context.  This allows us to postpone the decision of whether
or not a context should add a control-flow piece to the diagnostics
when inspecting its subexpressions.

llvm-svn: 70545

llvm-svn: 70544

llvm-svn: 70543

llvm-svn: 70542

llvm-svn: 70539

llvm-svn: 70537

gone lost during the pImpl conversion.

llvm-svn: 70536

llvm-svn: 70534

llvm-svn: 70533

llvm-svn: 70532

and other pointer-like types.

llvm-svn: 70531

llvm-svn: 70529

llvm-svn: 70528

llvm-svn: 70527

llvm-svn: 70526

Radar 6838889

llvm-svn: 70525

llvm-svn: 70524