[FIX] Handle accesses to "null" in MemIntrinsics
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 24 Mar 2016 13:50:04 +0000 (13:50 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 24 Mar 2016 13:50:04 +0000 (13:50 +0000)
commit733ea34f38d0c545f46e2d891a88f2677614912d
tree56d0879f7c1189f7ada5a19939f0f0fc3b779e3f
parent8ff253bfbffdaefb84d9b3edb0677ddedd6fc049
[FIX] Handle accesses to "null" in MemIntrinsics

  This fixes PR27035. While we now exclude MemIntrinsics from the
  polyhedral model if they would access "null" we could exploit this
  even more, e.g., remove all parameter combinations that would lead to
  the execution of this statement from the context.

llvm-svn: 264284
polly/lib/Analysis/ScopDetection.cpp
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/memset_null.ll [new file with mode: 0644]