Yuri Pudgorodsky <[EMAIL PROTECTED]> writes: [...]
| The result of calling function pointer casted to sufficiently different | type is | a real example an undefined behavior. As I said earlier, it is fruitless to try to impose an ordering on the space of undefined behaviour. -- Gaby
