[PATCH] D104498: [WIP][ScalarEvolution] Strictly enforce pointer/int type rules.

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Ok, I remember why I can't create a case where we miss handle non-integral pointer subtraction.  We never expand it.  We use the subtract form for analysis, but generate the bounds conflict form (using icmps) in the transforms.  There's an undocumented assumption that such subtracts aren't safe to expand.  Fun.  :)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D104498/new/

https://reviews.llvm.org/D104498