test/Analysis/BasicAA/modref.ll

   1 ; RUN: llvm-as < %s | opt -print-all-alias-modref-info -aa-eval -disable-output 2>&1 | not grep NoModRef
   2
   3 int %callee() {
   4   %X = alloca struct { int, int }
   5   %Y = int* getelementptr struct { int, int }*, uint 1
   6   %Z = int load struct { int, int }*
   7   ret %Z
   8 }
   9
  10 int %caller() {
  11   %X = int callee();
  12 }