test/Analysis/CFLAliasAnalysis/Steensgaard/asm-global-bugfix.ll

   1 ; Test case for a bug where we would crash when we were requested to report
   2 ; whether two values that didn't belong to a function (i.e. two globals, etc)
   3 ; aliased.
   4
   5 ; RUN: opt < %s -cfl-steens-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
   6
   7 @G = private unnamed_addr constant [1 x i8] c"\00", align 1
   8
   9 ; CHECK: Function: test_no_crash
  10 ; CHECK: 0 no alias responses
  11 define void @test_no_crash() #0 {
  12 entry:
  13   call i8* asm "nop", "=r,r"(
  14        i8* getelementptr inbounds ([1 x i8], [1 x i8]* @G, i64 0, i64 0))
  15   ret void
  16 }