> whereas some of the compiler bugs I've reported have gone unseen As far as I can tell, this is the first post by Z3Solver. I cannot find any bugzilla issues attributed by Z3Solver. If you could provide links to the issues you've reported, I would appreciate it. Thanks!