; RUN: opt < %s -data-layout="E-p:32:32" -ipsccp -S | FileCheck %s

@j = internal global i32 undef, align 4

; Make sure we do not mark loads from undef as overdefined.
define i32 @test5(i32 %b) {
; CHECK-LABEL: define i32 @test5(i32 %b)
; CHECK-NEXT:    %add = add nsw i32 undef, %b
; CHECK-NEXT:    ret i32 %add
;
  %l = load i32, i32* @j, align 4
  %add = add nsw i32 %l, %b
  ret i32 %add
}