Re: [PATCH] Introduce hardbool attribute for C

[Alexandre Oliva <oliva@adacore.com>]

Ping? (sorry, Joseph, I failed to Cc: you last time)

https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598034.html
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598084.html

On Jul  7, 2022, Alexandre Oliva <oliva@adacore.com> wrote:

> for  gcc/c-family/ChangeLog

> 	* c-attribs.cc (c_common_attribute_table): Add hardbool.
> 	(handle_hardbool_attribute): New.
> 	(type_valid_for_vector_size): Reject hardbool.
> 	* c-common.cc (convert_and_check): Skip warnings for convert
> 	and check for hardbool.
> 	(c_hardbool_type_attr_1): New.
> 	* c-common.h (c_hardbool_type_attr): New.

> for  gcc/c/ChangeLog

> 	* c-typeck.cc (convert_lvalue_to_rvalue): Decay hardbools.
> 	* c-convert.cc (convert): Convert to hardbool through
> 	truthvalue.
> 	* c-decl.cc (check_bitfield_type_and_width): Skip enumeral
> 	truncation warnings for hardbool.
> 	(finish_struct): Propagate hardbool attribute to bitfield
> 	types.
> 	(digest_init): Convert to hardbool.

> for  gcc/ChangeLog

> 	* doc/extend.texi (hardbool): New type attribute.

> for  gcc/testsuite/ChangeLog

> 	* gcc.dg/hardbool-err.c: New.
> 	* gcc.dg/hardbool-trap.c: New.
> 	* gcc.dg/hardbool.c: New.
> 	* gcc.dg/hardbool-s.c: New.
> 	* gcc.dg/hardbool-us.c: New.
> 	* gcc.dg/hardbool-i.c: New.
> 	* gcc.dg/hardbool-ul.c: New.
> 	* gcc.dg/hardbool-ll.c: New.
> 	* gcc.dg/hardbool-5a.c: New.
> 	* gcc.dg/hardbool-s-5a.c: New.
> 	* gcc.dg/hardbool-us-5a.c: New.
> 	* gcc.dg/hardbool-i-5a.c: New.
> 	* gcc.dg/hardbool-ul-5a.c: New.
> 	* gcc.dg/hardbool-ll-5a.c: New.

-- 
Alexandre Oliva, happy hacker                https://FSFLA.org/blogs/lxo/
   Free Software Activist                       GNU Toolchain Engineer
Disinformation flourishes because many people care deeply about injustice
but very few check the facts.  Ask me about <https://stallmansupport.org>