BugFix: return an empty type name if retrieve_type_dbg is NULL
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 23 Jul 2010 23:21:59 +0000 (23:21 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 23 Jul 2010 23:21:59 +0000 (23:21 +0000)
commitcf180211258e9e55f408afb213bbbe4d3d63c89c
tree5ff641dfb1d15599884eba7455ac2c6d3d77647b
parent12f3234cb6f8ffbd18b31ee226646a9d19b960ed
BugFix: return an empty type name if retrieve_type_dbg is NULL

This fixes a Windows crash.

[r27796]
ir/debug/dbginfo.c