> In Fortran (and maybe other langauges) there are booleans with > different sizes but the same precision.
Ada doesn't have a C-like boolean type either. The patches have introduced: FAIL: gnat.dg/lto1.adb (test for excess errors) /home/eric/svn/gcc/gcc/testsuite/gnat.dg/lto1_pkg.adb:23:1: error: type mismatch in binary truth expression boolean boolean boolean D.2419_18 = D.2417_16 || D.2418_17; +===========================GNAT BUG DETECTED==============================+ | 4.7.0 20110513 (experimental) [trunk revision 173737] (i586-suse-linux-gnu) GCC error:| | verify_gimple failed -- Eric Botcazou
