[PATCH] [LAA] Merge memchecks for accesses separated by a constant offset

[Adam Nemet]

OK, so I guess we're back to the original idea of using DepCands to limit the search space.

I.e. rather than:

  for each p in Pointers:
    for each r in Pointers after p:

we could do:

  for each set S in DepCands:
    for each pointer p in S:
      for each pointer r in S after p:


http://reviews.llvm.org/D10386

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/