Re: [PATCH v4] Introduce hardbool attribute for C

2023-11-29 Thread Alexandre Oliva
On Nov 20, 2023, Richard Biener wrote: > On Mon, 20 Nov 2023, Alexandre Oliva wrote: >> On Oct 20, 2023, Alexandre Oliva 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

Re: [PATCH v4] Introduce hardbool attribute for C

2023-11-20 Thread Richard Biener
On Mon, 20 Nov 2023, Alexandre Oliva wrote: > On Oct 20, 2023, Alexandre Oliva 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. > > h

Re: [PATCH v4] Introduce hardbool attribute for C

2023-11-20 Thread Alexandre Oliva
On Oct 20, 2023, Alexandre Oliva 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

[PATCH v4] Introduce hardbool attribute for C

2023-10-19 Thread Alexandre Oliva
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 Regstrapped on x86_64-linux-gnu and ppc64le