@ -12,14 +12,38 @@ target triple = "x86_64-apple-macosx10.10.0"
; F u n c t i o n Attrs: nounwind ssp uwtable
define void @foo ( ) #0 {
%p = alloca i32 * , align 8
store i32 * null , i32 * * %p , align 8
%1 = load i32 * * %p , align 8
store i32 42 , i32 * %1 , align 4
ret void
call void @llvm.dbg.declare ( metadata ! { i32 * * %p } , metadata !11 ) , !dbg !14
store i32 * null , i32 * * %p , align 8 , !dbg !15
%1 = load i32 * * %p , align 8 , !dbg !16
store i32 42 , i32 * %1 , align 4 , !dbg !16
ret void , !dbg !17
}
; F u n c t i o n Attrs: nounwind readnone
declare void @llvm.dbg.declare ( metadata , metadata ) #1
attributes #0 = { nounwind ssp uwtable "less-precise-fpmad" = "false" "no-frame-pointer-elim" = "true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math" = "false" "no-nans-fp-math" = "false" "stack-protector-buffer-size" = "8" "unsafe-fp-math" = "false" "use-soft-float" = "false" }
attributes #1 = { nounwind readnone }
!llvm.ident = ! { !0 }
!llvm.dbg.cu = ! { !0 }
!llvm.module.flags = ! { !8 , !9 }
!llvm.ident = ! { !10 }
!0 = metadata ! { metadata !"Apple LLVM version 6.1.0 (clang-602.0.53) (based on LLVM 3.6.0svn)" }
!0 = metadata ! { i32 786449 , metadata !1 , i32 12 , metadata !"Apple LLVM version 6.1.0 (clang-602.0.53) (based on LLVM 3.6.0svn)" , i1 false , metadata !"" , i32 0 , metadata !2 , metadata !2 , metadata !3 , metadata !2 , metadata !2 , metadata !"" , i32 1 } ; [ D W _ T A G _ c o m p i l e _ u n i t ] [ / U s e r s / r o h a n j r / i n f e r / i n f e r / t e s t s / c o d e t o a n a l y z e / l l v m / n u l l _ d e r e f . c ] [ D W _ L A N G _ C 99 ]
!1 = metadata ! { metadata !"null_deref.c" , metadata !"/Users/rohanjr/infer/infer/tests/codetoanalyze/llvm" }
!2 = metadata ! { }
!3 = metadata ! { metadata !4 }
!4 = metadata ! { i32 786478 , metadata !1 , metadata !5 , metadata !"foo" , metadata !"foo" , metadata !"" , i32 10 , metadata !6 , i1 false , i1 true , i32 0 , i32 0 , null , i32 256 , i1 false , void ( ) * @foo , null , null , metadata !2 , i32 10 } ; [ D W _ T A G _ s u b p r o g r a m ] [ l i ne 10 ] [ d e f ] [ f o o ]
!5 = metadata ! { i32 786473 , metadata !1 } ; [ D W _ T A G _ f i l e _ type ] [ / U s e r s / r o h a n j r / i n f e r / i n f e r / t e s t s / c o d e t o a n a l y z e / l l v m / n u l l _ d e r e f . c ]
!6 = metadata ! { i32 786453 , i32 0 , null , metadata !"" , i32 0 , i64 0 , i64 0 , i64 0 , i32 0 , null , metadata !7 , i32 0 , null , null , null } ; [ D W _ T A G _ s u b r o u t i n e _ type ] [ l i ne 0 , s i z e 0 , align 0 , o f f s e t 0 ] [ from ]
!7 = metadata ! { null }
!8 = metadata ! { i32 2 , metadata !"Dwarf Version" , i32 2 }
!9 = metadata ! { i32 2 , metadata !"Debug Info Version" , i32 602053001 }
!10 = metadata ! { metadata !"Apple LLVM version 6.1.0 (clang-602.0.53) (based on LLVM 3.6.0svn)" }
!11 = metadata ! { i32 786688 , metadata !4 , metadata !"p" , metadata !5 , i32 11 , metadata !12 , i32 0 , i32 0 } ; [ D W _ T A G _ a u t o _ v a r i a b l e ] [ p ] [ l i ne 11 ]
!12 = metadata ! { i32 786447 , null , null , metadata !"" , i32 0 , i64 64 , i64 64 , i64 0 , i32 0 , metadata !13 } ; [ D W _ T A G _ p o i n t e r _ type ] [ l i ne 0 , s i z e 64 , align 64 , o f f s e t 0 ] [ from i n t ]
!13 = metadata ! { i32 786468 , null , null , metadata !"int" , i32 0 , i64 32 , i64 32 , i64 0 , i32 0 , i32 5 } ; [ D W _ T A G _ b a s e _ type ] [ i n t ] [ l i ne 0 , s i z e 32 , align 32 , o f f s e t 0 , e n c D W _ A T E _ s i g n e d ]
!14 = metadata ! { i32 11 , i32 9 , metadata !4 , null } ; [ D W _ T A G _ l e x i c a l _ b l o c k ] [ / ]
!15 = metadata ! { i32 11 , i32 4 , metadata !4 , null } ; [ D W _ T A G _ l e x i c a l _ b l o c k ] [ / ]
!16 = metadata ! { i32 12 , i32 4 , metadata !4 , null }
!17 = metadata ! { i32 13 , i32 1 , metadata !4 , null }