On Wed, 2024-01-10 at 17:02 -0500, Antoni Boucher wrote: > Just to make sure since we are in stage 4.
Are we? I haven't seen an announcement, and it looked from https://gcc.gnu.org/pipermail/gcc/2024-January/243117.html that we might be pushing back the date for it. > Does that mean I can merge it? This one is very low risk, so please go ahead and merge it. > > In general, how would I know if it's OK to merge? > If the patch is in the state Accepted on patchwork, does that mean > it's > always OK to merge no matter the stage we're in? AIUI, the status in patchwork is purely to help keep track of patch reviews; whether or not a patch is suitable to push at a given time is probably on a case-by-case basis (the key question being "how likely is merging the patch going to cause problems") Dave > > On Tue, 2024-01-09 at 11:35 -0500, David Malcolm wrote: > > On Fri, 2023-12-22 at 09:39 -0500, Antoni Boucher wrote: > > > Hi. > > > This patch adds missing builtins needed by optimizations. > > > Thanks for the review. > > > > The patch looks good to me. > > > > Thanks! > > Dave > > >