; RUN: opt -passes=strip-dead-prototypes -S -verify-analysis-invalidation < %s | FileCheck %s | |
; The declaration of the unused global variable @.str should be removed without | |
; getting any error from -verify-analysis-invalidation. | |
; CHECK-NOT: @.str | |
@.str = external constant [15 x i16] | |