Hello, I am writing a verification tool which interprets GIMPLE generated from a C++ code and I am stucked in this situation: I have type_info of exception, which has been thrown (from parameter of __cxa_throw), but I don’t know how to get information about types which are catched by catch blocks and I also don’t know how to process it to realise which catch catches the thrown exception type. I looked for some documentation for it, but i wasn’t successful. Could someone help me? Best regards Jan Šebetovský ----------------------------------------- Use international language in international communication: http://www.lernu.net
