Results of some quick testing of CompCert

https://github.com/AbsInt/CompCert/issues/144 (FIXED)
https://github.com/AbsInt/CompCert/issues/143 (FIXED)
https://github.com/AbsInt/CompCert/issues/138 (FIXED)
https://github.com/AbsInt/CompCert/issues/137 (WONTFIX)
https://github.com/AbsInt/CompCert/issues/136 (FIXED)
https://github.com/AbsInt/CompCert/issues/135 (WONTFIX)
https://github.com/AbsInt/CompCert/issues/134 (FIXED)
https://github.com/AbsInt/CompCert/issues/133 (FIXED)
https://github.com/AbsInt/CompCert/issues/132 (WONTFIX)
https://github.com/AbsInt/CompCert/issues/131 (WONTFIX)
https://github.com/AbsInt/CompCert/issues/130 (FIXED)
https://github.com/AbsInt/CompCert/issues/129 (FIXED)
https://github.com/AbsInt/CompCert/issues/128 (FIXED)
https://github.com/AbsInt/CompCert/issues/127 (FIXED)
https://github.com/AbsInt/CompCert/issues/126 (FIXED)
https://github.com/AbsInt/CompCert/issues/125 (FIXED)
https://github.com/AbsInt/CompCert/issues/124 (FIXED)
https://github.com/AbsInt/CompCert/issues/123 (FIXED)
https://github.com/AbsInt/CompCert/issues/122 (FIXED)
https://github.com/AbsInt/CompCert/issues/121 (FIXED)
https://github.com/AbsInt/CompCert/issues/120 (FIXED)
https://github.com/AbsInt/CompCert/issues/119 (FIXED)
https://github.com/AbsInt/CompCert/issues/116 (FIXED)
https://github.com/AbsInt/CompCert/issues/115 (FIXED)
https://github.com/AbsInt/CompCert/issues/114 (FIXED)
https://github.com/AbsInt/CompCert/issues/113 (FIXED)
https://github.com/AbsInt/CompCert/issues/112 (FIXED)
https://github.com/AbsInt/CompCert/issues/111 (FIXED)
https://github.com/AbsInt/CompCert/issues/110 (FIXED)