Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-23 Thread Jakub Jelinek
On Sun, Sep 22, 2024 at 08:45:40AM -0600, Sandra Loosemore wrote: > On 9/21/24 22:52, Jakub Jelinek wrote: > > On Sat, Sep 21, 2024 at 08:08:29PM -0600, Sandra Loosemore wrote: > > > On 9/20/24 01:41, Jakub Jelinek wrote: > > > > > + > > > > > + /* Check for unknown properties. */ > > > > >

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-22 Thread Sandra Loosemore
On 9/21/24 22:52, Jakub Jelinek wrote: On Sat, Sep 21, 2024 at 08:08:29PM -0600, Sandra Loosemore wrote: On 9/20/24 01:41, Jakub Jelinek wrote: + + /* Check for unknown properties. */ if (omp_ts_map[ts_code].valid_properties == NULL) continue; - Why? Why what?

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-21 Thread Jakub Jelinek
On Sat, Sep 21, 2024 at 08:08:29PM -0600, Sandra Loosemore wrote: > On 9/20/24 01:41, Jakub Jelinek wrote: > > > + > > > + /* Check for unknown properties. */ > > > if (omp_ts_map[ts_code].valid_properties == NULL) > > > continue; > > > - > > > > Why? > > Why what? I

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-21 Thread Sandra Loosemore
On 9/20/24 01:41, Jakub Jelinek wrote: + + /* Check for unknown properties. */ if (omp_ts_map[ts_code].valid_properties == NULL) continue; - Why? Why what? I made this change because when I added another check in this loop I was temporarily confused about the

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-20 Thread Jakub Jelinek
On Wed, Sep 18, 2024 at 02:50:39PM -0600, Sandra Loosemore wrote: > Here's the revised patch, covering both restrictions. OK to commit? Thanks. > + /* Each trait-property can only be specified once in a trait-selector > + other than the construct selector set. FIXME: only handles

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-18 Thread Sandra Loosemore
On 9/9/24 14:55, Sandra Loosemore wrote: On 9/9/24 05:01, Jakub Jelinek wrote: I think also testing the device={kind(any,any)} and device={kind("any",any)} and device={kind(any,"any"))} would be useful. Hmmm, it looks like GCC does not presently check for the restriction "Each trait-proper

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-09 Thread Jakub Jelinek
On Mon, Sep 09, 2024 at 02:55:25PM -0600, Sandra Loosemore wrote: > On 9/9/24 05:01, Jakub Jelinek wrote: > > > > I think also testing the device={kind(any,any)} and device={kind("any",any)} > > and device={kind(any,"any"))} would be useful. > > Hmmm, it looks like GCC does not presently check fo

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-09 Thread Sandra Loosemore
On 9/9/24 05:01, Jakub Jelinek wrote: I think also testing the device={kind(any,any)} and device={kind("any",any)} and device={kind(any,"any"))} would be useful. Hmmm, it looks like GCC does not presently check for the restriction "Each trait-property may only be specified once in a trait sel

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-09 Thread Jakub Jelinek
On Sun, Sep 08, 2024 at 09:15:23AM -0600, Sandra Loosemore wrote: > On 8/16/24 06:58, Jakub Jelinek wrote: > > > > If this can apply (perhaps with small fuzz) to vanilla trunk, guess it can > > be committed right now, doesn't need to wait for the rest of the > > metadirective patch set. > > OK.

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-09-08 Thread Sandra Loosemore
On 8/16/24 06:58, Jakub Jelinek wrote: If this can apply (perhaps with small fuzz) to vanilla trunk, guess it can be committed right now, doesn't need to wait for the rest of the metadirective patch set. OK. I've tested the slightly cleaned-up version of the patch which is attached; I'll pus

Re: [PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-08-16 Thread Jakub Jelinek
On Sat, Jul 20, 2024 at 02:42:27PM -0600, Sandra Loosemore wrote: > The OpenMP spec says: > > "If trait-property any is specified in the kind trait-selector of the > device selector set or the target_device selector sets, no other > trait-property may be specified in the same selector set." That

[PATCH v3 08/12] OpenMP: Reject other properties with kind(any)

2024-07-20 Thread Sandra Loosemore
The OpenMP spec says: "If trait-property any is specified in the kind trait-selector of the device selector set or the target_device selector sets, no other trait-property may be specified in the same selector set." GCC was not previously enforcing this restriction and several testcases included