>>>>> "Ian" == Ian Lance Taylor <[EMAIL PROTECTED]> writes:
Ian> But note that IPA via LTO is not going to permit callbacks into the Ian> front end, because there isn't going to be a front end. So the Ian> information needs to be represented in GIMPLE somewhere. Unfortunately there are lots of unsolved problems here, namely what the type system will look like. My current devirtualization pass relies on facts about the java type system in order to do its work. And unless I'm mistaken there are even simpler LTO problems that remain unsolved -- e.g., gcj sets flag_wrapv, but it seems to me that this would have to be a flag on operations rather than a global for LTO to be truly language independent. Tom