[all-commits] [llvm/llvm-project] 412a01: [Attributor][FIX] Do not derive nonnull and derefe...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 412a0101a99e5330d5bbe4954cd421af81d0dc64
      https://github.com/llvm/llvm-project/commit/412a0101a99e5330d5bbe4954cd421af81d0dc64
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-01-03 (Fri, 03 Jan 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/dereferenceable-1.ll
    M llvm/test/Transforms/Attributor/nocapture-1.ll
    M llvm/test/Transforms/Attributor/nonnull.ll
    M llvm/test/Transforms/Attributor/nosync.ll

  Log Message:
  -----------
  [Attributor][FIX] Do not derive nonnull and dereferenceable w/o access

An inbounds GEP results in poison if the value is not "inbounds", not in
UB. We accidentally derived nonnull and dereferenceable from these
inbounds GEPs even in the absence of accesses that would make the poison
to UB.