test/Assembler/2002-01-24-ValueRefineAbsType.ll

   1 ; RUN: llvm-as %s -o /dev/null
   2
   3 ; This testcase used to fail due to a lack of this diff in Value.cpp:
   4 ; diff -r1.16 Value.cpp
   5 ; 11c11
   6 ; < #include "llvm/Type.h"
   7 ; ---
   8 ; > #include "llvm/DerivedTypes.h"
   9 ; 74c74,76
  10 ; <   assert(Ty.get() == (const Type*)OldTy &&"Can't refine anything but my type!");
  11 ; ---
  12 ; >   assert(Ty.get() == OldTy &&"Can't refine anything but my type!");
  13 ; >   if (OldTy == NewTy && !OldTy->isAbstract())
  14 ; >     Ty.removeUserFromConcrete();
  15 ;
  16 ; This was causing an assertion failure, due to the "foo" Method object never
  17 ; releasing it's reference to the opaque %bb value.
  18 ;
  19
  20 %bb = type i32
  21 %exception_descriptor = type i32
  22
  23 declare void @foo(i32)