[committed] analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]

2022-11-18 Thread David Malcolm via Gcc-patches
PR analyzer/107582 reports a false +ve from -Wanalyzer-use-of-uninitialized-value where the analyzer's feasibility checker erroneously decides that point (B) in the code below is reachable, with "x" being uninitialized there: pthread_cleanup_push(func, NULL); while (ret != ETIMEDOUT)

Re: [PATCH v2] c++: Reject UDLs in certain contexts [PR105300]

2022-11-18 Thread Jason Merrill via Gcc-patches
On 11/18/22 18:52, Marek Polacek wrote: On Thu, Nov 17, 2022 at 07:06:34PM -0500, Jason Merrill wrote: On 11/16/22 20:12, Marek Polacek wrote: On Wed, Nov 16, 2022 at 08:22:39AM -0500, Jason Merrill wrote: On 11/15/22 19:35, Marek Polacek wrote: On Tue, Nov 15, 2022 at 06:58:39PM -0500, Jason

Re: [PATCH v3] c++: P2448 - Relaxing some constexpr restrictions [PR106649]

2022-11-18 Thread Jason Merrill via Gcc-patches
On 11/16/22 15:27, Jason Merrill wrote: On 11/16/22 11:06, Marek Polacek wrote: On Wed, Nov 16, 2022 at 08:41:53AM -0500, Jason Merrill wrote: On 11/15/22 19:30, Marek Polacek wrote: @@ -996,19 +1040,26 @@ register_constexpr_fundef (const constexpr_fundef &value) **slot = value;    } -/*

Re: [PATCH RFA] libstdc++: add experimental Contracts support

2022-11-18 Thread Jason Merrill via Gcc-patches
On 11/18/22 13:17, Jonathan Wakely wrote: On 03/11/22 15:57 -0400, Jason Merrill wrote: Tested x86_64-pc-linux-gnu.  OK for trunk? -- >8 -- This patch adds the library support for the experimental C++ Contracts implementation.  This now consists only of a default definition of the violation ha

Re: [PATCH] constexprify some tree variables

2022-11-18 Thread Andrew Pinski via Gcc-patches
On Fri, Nov 18, 2022 at 12:06 PM Jeff Law via Gcc-patches wrote: > > > On 11/18/22 11:05, apinski--- via Gcc-patches wrote: > > From: Andrew Pinski > > > > Since we use C++11 by default now, we can > > use constexpr for some const decls in tree-core.h. > > > > This patch does that and it allows f

Re: [PATCH] c++: cache the normal form of a concept-id

2022-11-18 Thread Jason Merrill via Gcc-patches
On 11/18/22 16:43, Patrick Palka wrote: We already cache the overall normal form of a declaration's constraints under the assumption that it can't change over the translation unit. But if we have two constrained declarations such as template void f() requires expensive && A; template void

[PATCH] i386: Only enable small loop unrolling in backend [PR 107602]

2022-11-18 Thread Hongyu Wang via Gcc-patches
Hi, Followed by the discussion in pr107602, -munroll-only-small-loops Does not turns on/off -funroll-loops, and current check in pass_rtl_unroll_loops::gate would cause -funroll-loops do not take effect. Revert the change about targetm.loop_unroll_adjust and apply the backend option change to stri

Re: nvptx: In 'STARTFILE_SPEC', fix 'crt0.o' for '-mmainkernel' (was: [MentorEmbedded/nvptx-tools] Match standard 'ld' "search" behavior (PR #38))

2022-11-18 Thread Tom de Vries via Gcc-patches
On 11/19/22 00:25, Thomas Schwinge wrote: Hi! Re : On 2022-11-18T11:05:23-0800, I wrote: Actually, in GCC/nvptx target testing, this #38's commit 886a95faf66bf66a82fc0fe7d2a9fd9e9fec2820 "ld: Don't search for input

<    1   2