Re: [PATCH] c, v2: Add support for unsequenced and reproducible attributes

2024-08-30 Thread Joseph Myers
On Fri, 30 Aug 2024, Jakub Jelinek wrote: > Here is the full updated patch. This patch is OK. -- Joseph S. Myers josmy...@redhat.com

Re: [PATCH] c, v2: Add support for unsequenced and reproducible attributes

2024-08-30 Thread Jakub Jelinek
On Wed, Aug 21, 2024 at 04:00:23PM +, Joseph Myers wrote: > On Thu, 1 Aug 2024, Jakub Jelinek wrote: > > > +Unsequenced functions without pointer or reference arguments are similar > > +to functions with the @code{const} attribute, except that @code{const} > > +attribute also requires finitnes

Re: [PATCH] c, v2: Add support for unsequenced and reproducible attributes

2024-08-21 Thread Joseph Myers
On Thu, 1 Aug 2024, Jakub Jelinek wrote: > +Unsequenced functions without pointer or reference arguments are similar > +to functions with the @code{const} attribute, except that @code{const} > +attribute also requires finitness. So, both functions with @code{const} s/finitness/finiteness/ (in al

[PATCH] c, v2: Add support for unsequenced and reproducible attributes

2024-08-01 Thread Jakub Jelinek
Hi! On Tue, Jul 30, 2024 at 07:04:05PM +0200, Jakub Jelinek wrote: > C23 added in N2956 ( https://open-std.org/JTC1/SC22/WG14/www/docs/n2956.htm ) > two new attributes Here is an updated version of the patch. Based on discussions with paper co-author the patch no longer looks into structs/unions