[all-commits] [llvm/llvm-project] 7b39dc: [Attributor][FIX] Ensure "IsExact" is false for no...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7b39dccbe4d67697bd3710aaa54a5d5644129ce7
      https://github.com/llvm/llvm-project/commit/7b39dccbe4d67697bd3710aaa54a5d5644129ce7
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2022-01-10 (Mon, 10 Jan 2022)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll

  Log Message:
  -----------
  [Attributor][FIX] Ensure "IsExact" is false for non-exact accesses

If we look at potentially interfering accesses we need to ensure the
"IsExact" flag is set appropriately. Accesses that have an "unknown"
size or offset cannot be exact matches and we missed to flag that.

Error and test reported by Serguei N. Dmitriev.