On Mon, 20 Nov 2023, Alexandre Oliva wrote: > On Oct 20, 2023, Alexandre Oliva <ol...@adacore.com> wrote: > > > Here's a refreshed and retested version of the patch for hardened > > booleans in C. It is unchanged aside from some conflict resolution, > > compared with the previous version posted back in June. > > https://gcc.gnu.org/pipermail/gcc-patches/2023-June/622668.html > > Ping? > https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633674.html > > Re-regstrapped on x86_64-linux-gnu.
OK if C frontend maintainers do not object this week. Can you produce a corresponding gcc-14/changes.html entry please? Thanks, Richard.