linked-list style of recursive types cause crash ( x = < x*, data > )

[dtzWill]

Ran into this on an actual program, but it can be reproduced with the recursive-type-3.ll test from LLVM, available here:

https://github.com/llvm-mirror/llvm/blob/e19f1300d602cb47372a155a71e336e6463aafc0/test/Verifier/recursive-type-3.ll

Crash is what one'd expect, infinite recursion trying to process the type.

Don't know if there's a good way to handle this -- I'd suggest some map {type -> debuginfo} and use it as a cache and to avoid processing types twice, but the tricky part is the details of course :). Maybe upstream's -debugify would have some inspiration, not sure.

Let me know if more information would be useful, thanks for making this available!

[thestr4ng3r]

Sorry, I don't have any time to work on this project at the moment. But I would be happy to receive a pr if you can implement it.