For information, links to all the bugs that we reported so far (in GCC/LLVM/CompCert/ICC and Scala) can be found at http://web.cs.ucdavis.edu/~su/emi-project/ h

For information, links to all the bugs that we reported so far (in GCC/LLVM/CompCert/ICC and Scala) can be found at http://web.cs.ucdavis.edu/~su/emi-project/ http://web.cs.ucdavis.edu/~su/emi-project/: 728 in Clang/LLVM (~250 were miscompilations); 783 in GCC. (Also refer to http://helloqirun.github.io/projects/spe/spe.html http://helloqirun.github.io/projects/spe/spe.html for additional bugs reported so far in Rust and Rust bindgen.)