| George Burgess IV | 33305e7 | 2015-02-12 03:07:07 +0000 | [diff] [blame] | 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-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 |
| George Burgess IV | ab03af2 | 2015-03-10 02:58:15 +0000 | [diff] [blame] | 10 | ; CHECK: 0 no alias responses |
| George Burgess IV | 33305e7 | 2015-02-12 03:07:07 +0000 | [diff] [blame] | 11 | define void @test_no_crash() #0 { |
| 12 | entry: |
| 13 | call i8* asm "nop", "=r,r"( |
| 14 | i8* getelementptr inbounds ([1 x i8]* @G, i64 0, i64 0)) |
| 15 | ret void |
| 16 | } |