diff --git a/test/Linker/2003-08-28-TypeResolvesGlobal2.ll b/test/Linker/2003-08-28-TypeResolvesGlobal2.ll new file mode 100644 index 00000000000..edf1865d77c --- /dev/null +++ b/test/Linker/2003-08-28-TypeResolvesGlobal2.ll @@ -0,0 +1,17 @@ +; RUN: as < %s > Output/%s.out1.bc +; RUN: echo "%S = type int" | as > Output/%s.out2.bc +; RUN: link Output/%s.out[21].bc + +%S = type opaque + +void %foo(int* %V) { + ret void +} + +declare void %foo(%S*) + +void %other() { + call void %foo(%S* null) ; Add a use of the unresolved proto + call void %foo(int* null) ; Add a use of the resolved function + ret void +}