Re: [PATCH] c++,coroutines: Handle await expressions in assume attributes.

2025-06-17 Thread Iain Sandoe
> On 17 Jun 2025, at 06:02, Jason Merrill wrote: > > On 6/16/25 4:00 PM, Iain Sandoe wrote: >> Hi Jason >>> On 11 Jun 2025, at 23:50, Jason Merrill wrote: >>> >>> On 6/9/25 4:12 PM, Iain Sandoe wrote: There was some discussion of this in the PR116775 comments. In the end I have mat

Re: [PATCH] c++,coroutines: Handle await expressions in assume attributes.

2025-06-16 Thread Jason Merrill
On 6/16/25 4:00 PM, Iain Sandoe wrote: Hi Jason On 11 Jun 2025, at 23:50, Jason Merrill wrote: On 6/9/25 4:12 PM, Iain Sandoe wrote: There was some discussion of this in the PR116775 comments. In the end I have matched what clang does in this circumstance, since that seems reasonable - and

Re: [PATCH] c++,coroutines: Handle await expressions in assume attributes.

2025-06-16 Thread Iain Sandoe
Hi Jason > On 11 Jun 2025, at 23:50, Jason Merrill wrote: > > On 6/9/25 4:12 PM, Iain Sandoe wrote: >> There was some discussion of this in the PR116775 comments. In the >> end I have matched what clang does in this circumstance, since that >> seems reasonable - and we may ignore the attributes

Re: [PATCH] c++,coroutines: Handle await expressions in assume attributes.

2025-06-11 Thread Jason Merrill
On 6/9/25 4:12 PM, Iain Sandoe wrote: Hi Jason, There was some discussion of this in the PR116775 comments. In the end I have matched what clang does in this circumstance, since that seems reasonable - and we may ignore the attributes as needed. tested on x86-64-darwin, powerpc64le-linux, OK for

[PATCH] c++, coroutines: Handle await expressions in assume attributes.

2025-06-09 Thread Iain Sandoe
Hi Jason, There was some discussion of this in the PR116775 comments. In the end I have matched what clang does in this circumstance, since that seems reasonable - and we may ignore the attributes as needed. tested on x86-64-darwin, powerpc64le-linux, OK for trunk? thanks Iain --- 8< --- Here we