[Bug c/34455] New: Request warning for casts to _Bool

[Bug c/34455] New: Request warning for casts to _Bool

[hpa at zytor dot com]

I recently finished converting a large codebase from using "int" to using
"bool" (i.e. _Bool) for booleans.  This is a big win for debuggability. 
However, unfortunately the code has to be portable to inferior compilers which
don't have _Bool implemented yet; for those we use:

typedef enum { false, true } bool;

As such, it would be a very nice thing to have an optional warning for any
conversions of non-boolean objects (those not known to contain only 0 or 1) to
_Bool using either an implicit conversion or a cast.  The "safe" way to do it
in a backwards-compatible way is using the !! pseudo-operator.


-- 
           Summary: Request warning for casts to _Bool
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hpa at zytor dot com
 GCC build triplet: all
  GCC host triplet: all
GCC target triplet: all


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34455

[Bug c/34455] Request warning for casts to _Bool

[hpa at zytor dot com]

------- Comment #1 from hpa at zytor dot com  2007-12-13 19:56 -------
Created an attachment (id=14746)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14746&action=view)
Proposed test cases


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34455

[Bug c/34455] Request warning for casts to _Bool

[hpa at zytor dot com]

------- Comment #2 from hpa at zytor dot com  2009-02-26 22:56 -------
Any interest in this at all?  This is a major missing feature for me at the
moment.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34455

[Bug c/34455] Request warning for casts to _Bool

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34455

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2012-04-18
                 CC|                            |manu at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-04-18 16:42:46 UTC ---
To be honest, I am not sure whether this is really useful or not for other
people. And I am not sure whether it is actually possible.

What I am sure is that there is nobody except you interested in implementing
it, so if you want to get it done, you will have to work on it (or pay someone
to do it).

Meanwhile, I am putting this in WAITING, so it doesn't show up as pending
confirmation.