; RUN: not llvm-as %s -o /dev/null 2>&1 | grep "redefinition of global '@B'" @B = global i32 7 @B = global i32 7