[PATCH] Handle accesses to sturctures with embedded arrays and different offsets better

[Daniel Berlin]

Hi hfinkel, nlewycky,

Fixes the simple testcase:
struct S00 {
  char mC_0;
  short mS_1;
  int mI_2;
  int mI_3;
};
struct S03 {
  short mS_0;
  struct S00 mS00_1[4];
  short mS_2;
};
int test_s03c(struct S03* a, struct S03* b)
{
  a->mS00_1[0].mI_2=1;
  b->mS00_1[1].mI_2=2;
  return a->mS00_1[0].mI_2;
}

so that we return 1.

http://reviews.llvm.org/D8487

Files:
  lib/Analysis/BasicAliasAnalysis.cpp
  test/Analysis/BasicAA/gep-alias.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8487.22360.patch
Type: text/x-patch
Size: 5849 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150320/2cddfbbb/attachment.bin>