GCC GSoC 2022: Call for project ideas and mentors

2022-01-06 Thread Martin Jambor
Hello, another year is upon us and Google has announced there will be again Google Summer of Code 2022 (though AFAIK there is no specific timeline yet). I'd like to volunteer to be the main Org Admin for GCC again so let me know if you think I shouldn't or that someone else should, but otherwise

gcc-9-20220106 is now available

2022-01-06 Thread GCC Administrator via Gcc
Snapshot gcc-9-20220106 is now available on https://gcc.gnu.org/pub/gcc/snapshots/9-20220106/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 9 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Why doesn't this pattern match?

2022-01-06 Thread Andras Tantos
Hello! My name is Andras Tantos and I just joined this list, so if I'm asking something off-topic or not following the rules of the community, please let me know. What I'm working on is to port GCC (and Binutils) to a new CPU ISA, I call 'brew'. During developing for this target, I got the

Re: Why doesn't this pattern match?

2022-01-06 Thread Andrew Pinski via Gcc
On Thu, Jan 6, 2022 at 8:13 PM Andras Tantos wrote: > > Hello! > > My name is Andras Tantos and I just joined this list, so if I'm asking > something off-topic or not following the rules of the community, please > let me know. > > What I'm working on is to port GCC (and Binutils) to a new CPU

[Bug c++/103927] New: ICE in a recursive class template

2022-01-06 Thread fchelnokov at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103927 Bug ID: 103927 Summary: ICE in a recursive class template Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++

[Bug rtl-optimization/103908] gcc miscompile asm goto for O1

2022-01-06 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103908 --- Comment #6 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:80ad67e2af0620d58d57d0406dc22693cf5b8ca9 commit r12-6278-g80ad67e2af0620d58d57d0406dc22693cf5b8ca9 Author: Jakub Jelinek Date:

[Bug c/103928] New: [12] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread manuel.lauss at googlemail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 Bug ID: 103928 Summary: [12] ICE in get_insn_template, at final.c:2050 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |12.0

[Bug c++/103922] fconcepts syntax cause g++ to stop checking access modifiers

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103922 --- Comment #3 from Jonathan Wakely --- Yes, this was fixed by r276764 which is the big rewrite: "Update the concepts implementation to conform to C++20."

[PATCH] c++: Reject in constant evaluation address comparisons of start of one var and end of another [PR89074]

2022-01-06 Thread Jakub Jelinek via Gcc-patches
Hi! The following testcase used to be incorrectly accepted. The match.pd optimization that uses address_compare punts on folding comparison of start of one object and end of another one only when those addresses are cast to integral types, when the comparison is done on pointer types it assumes

[Bug libstdc++/103923] is_invocable inexplicably fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103923 --- Comment #2 from Jonathan Wakely --- The instantiation of unordered_map instantiates this alias: template using __cache_default = __not_<__and_, // Mandatory to have erase not throwing.

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread manuel.lauss at googlemail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 --- Comment #3 from Manuel Lauss --- You're right, I too can only reproduce it on the bdver4 machine itself, not on e.g. a Zen or Haswell host. I'll rebuild gcc-12 on the bdver4 host again.

Re: [PATCH] match.pd: Simplify 1 / X for integer X [PR95424]

2022-01-06 Thread Jakub Jelinek via Gcc-patches
On Thu, Jan 06, 2022 at 05:52:03PM +0800, Zhao Wei Liew wrote: > On Wed, 5 Jan 2022 at 17:55, Richard Biener > wrote: > > > On Wed, Jan 5, 2022 at 10:42 AM Jakub Jelinek wrote: > > > > > > On Wed, Jan 05, 2022 at 10:38:53AM +0100, Richard Biener via Gcc-patches > > wrote: > > > > On Wed, Jan 5,

[Bug libstdc++/103923] is_invocable inexplicably fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103923 --- Comment #5 from Jonathan Wakely --- Here's a minimal program showing the underlying problem: template struct C { }; struct T { struct H { auto operator()() const { return 0; } }; C c; }; T t; 103923.C:1:43: error: use of 'auto

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread manuel.lauss at googlemail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 --- Comment #5 from Manuel Lauss --- (In reply to Martin Liška from comment #4) > (In reply to Manuel Lauss from comment #3) > > You're right, I too can only reproduce it on the bdver4 machine itself, not > > on e.g. a Zen or Haswell host.

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 --- Comment #8 from Martin Liška --- > No, bdver4 does not include XOP. Ohh, didn't know that...

[PATCH] expr: Workaround profiledbootstrap uninit false positive [PR103899]

2022-01-06 Thread Jakub Jelinek via Gcc-patches
Hi! The threader changes resulted in a false positive warning during profiledbootstrap: In file included from ../../gcc/expr.c:26: ../../gcc/tree.h: In function ‘rtx_def* expand_expr_real_1(tree, rtx, machine_mode, expand_modifier, rtx_def**, bool)’: ../../gcc/tree.h:244:56: error: ‘context’ may

[PATCH] c++: Ensure some more that immediate functions aren't gimplified [PR103912]

2022-01-06 Thread Jakub Jelinek via Gcc-patches
Hi! Immediate functions should never be emitted into assembly, the FE doesn't genericize them and does various things to ensure they aren't gimplified. But the following testcase ICEs anyway due to that, because the consteval function returns a lambda, and operator() of the lambda has

[Bug c++/82125] Suboptimal error message for range-based for

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82125 Jonathan Wakely changed: What|Removed |Added CC||shlomo at fastmail dot com ---

[PATCH] [i386] Optimize V16HF vector insert to element 0 for AVX2.

2022-01-06 Thread liuhongt via Gcc-patches
Also remove mode attribute blendsuf, use ssemodesuf instead. Bootstrapped and regtested on x86_64-pc-linux-gnu{-m32,}. Ready to push to trunk. gcc/ChangeLog: PR target/103753 * config/i386/i386-expand.c (ix86_expand_vector_set): Not use gen_avx2_pblendph_pblendd when elt

[Bug gcov-profile/45272] comment about sqrt() implementation wrong: it is not from Carmack

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45272 --- Comment #3 from Martin Liška --- Do you suggest using sreal, or something else?

[Bug c++/103811] [c++20] ICE when a lambda is used as a template argument of another lambda's function parameter

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103811 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug libstdc++/103923] is_invocable inexplicably fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103923 Jonathan Wakely changed: What|Removed |Added Last reconfirmed||2022-01-06

[Bug rtl-optimization/103908] gcc miscompile asm goto for O1

2022-01-06 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103908 --- Comment #7 from Jakub Jelinek --- Fixed on the trunk so far.

[Bug c++/103583] Range loop: "error: 'begin' was not declared in this scope" when 'end' is missing

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103583 Jonathan Wakely changed: What|Removed |Added Resolution|--- |DUPLICATE Status|NEW

[Bug c++/82125] Suboptimal error message for range-based for

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82125 --- Comment #3 from Jonathan Wakely --- >From PR 103583: Compiling the following with gcc -c: struct A { int *begin(); // int *end(); }; void foo(A a) { for (auto it : a) { } } shows two error messages: error: ‘begin’ was not

[Bug c++/103927] ICE in a recursive class template and lambda in the template argument

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103927 Martin Liška changed: What|Removed |Added CC||jason at gcc dot gnu.org,

Re: [committed] libstdc++: Reduce template instantiations in

2022-01-06 Thread Stephan Bergmann via Gcc-patches
On 05/01/2022 14:47, Jonathan Wakely via Libstdc++ wrote: Tested powerpc64le-linux, pushed to trunk. This moves the last two template parameters of __regex_algo_impl to be runtime function parameters instead, so that we don't need four different instantiations for the possible ways to call it.

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread ubizjak at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 --- Comment #7 from Uroš Bizjak --- (In reply to Martin Liška from comment #6) > Then you may be affected by PR103905 which is fixed on the current master. > Please pull to tip of master branch. No, bdver4 does not include XOP.

[Bug c++/103927] ICE in a recursive class template and lambda in the template argument

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103927 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug libstdc++/103923] is_invocable inexplicably fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103923 --- Comment #6 from Jonathan Wakely --- This is another case of https://wg21.link/cwg2335

Re: [PATCH] match.pd: Simplify 1 / X for integer X [PR95424]

2022-01-06 Thread Zhao Wei Liew via Gcc-patches
On Wed, 5 Jan 2022 at 17:55, Richard Biener wrote: > On Wed, Jan 5, 2022 at 10:42 AM Jakub Jelinek wrote: > > > > On Wed, Jan 05, 2022 at 10:38:53AM +0100, Richard Biener via Gcc-patches > wrote: > > > On Wed, Jan 5, 2022 at 10:18 AM Zhao Wei Liew > wrote: > > > > > > > > > X >= -1 && X <= 1

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org

[Bug libstdc++/103923] is_invocable inexplicably fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103923 --- Comment #3 from Jonathan Wakely --- If I change the __cache_default trait to be: template using __cache_default = __bool_constant::value // Do not cache for fast hasher. // Mandatory to have erase not throwing.

[Bug target/102952] New code-gen options for retpolines and straight line speculation

2022-01-06 Thread andrew.cooper3 at citrix dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102952 --- Comment #30 from Andrew Cooper --- (In reply to CVS Commits from comment #27) > > x86: Add -mharden-sls=[none|all|return|indirect-branch] > It occurs to me that `indirect-branch` needs renaming to be `indirect-jmp` as the logic

[Bug driver/103465] [12 regression] -freorder-blocks-and-partition broken on 64-bit Windows

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103465 --- Comment #19 from Martin Liška --- (In reply to Eric Botcazou from comment #18) > The fix does more harm than good though since it disables > -freorder-blocks-and-partition entirely for 64-bit Windows. Can you be more concrete about what's

[Bug rtl-optimization/63281] powerpc64le creates 64 bit constants from scratch instead of loading them

2022-01-06 Thread guojiufu at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63281 --- Comment #21 from Jiu Fu Guo --- Also had a test on powerpc, -m32. As testing, it seems no significant benefit loading from 'rodata' vs. building constants by instructions. lis %r7,0x410 ori %r7,%r7,0x103c lis

[PATCH] Improve sequence logic in cxx_init_decl_processing

2022-01-06 Thread Olivier Hainque via Gcc-patches
Hello, commit aa2c978400f3b3ca6e9f2d18598a379589e77ba0, introduced per https://gcc.gnu.org/pipermail/gcc-patches/2020-May/545552.html makes references to __cxa_pure_virtual weak and this is causing issues on some VxWorks configurations, where weak symbols are only supported for one of the two

Re: [PATCH] libgomp, OpenMP, nvptx: Low-latency memory allocator

2022-01-06 Thread Tom de Vries via Gcc-patches
On 1/5/22 15:36, Andrew Stubbs wrote: On 05/01/2022 13:04, Tom de Vries wrote: On 1/5/22 12:08, Tom de Vries wrote: The allocators-1.c test-case doesn't compile because: ... FAIL: libgomp.c/allocators-1.c (test for excess errors) Excess errors:

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 --- Comment #4 from Martin Liška --- (In reply to Manuel Lauss from comment #3) > You're right, I too can only reproduce it on the bdver4 machine itself, not > on e.g. a Zen or Haswell host. I'll rebuild gcc-12 on the bdver4 host again. How

[Bug target/103928] [12 Regression] ICE in get_insn_template, at final.c:2050

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103928 --- Comment #6 from Martin Liška --- Then you may be affected by PR103905 which is fixed on the current master. Please pull to tip of master branch.

[Bug c++/85775] False positive with -Wparentheses

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85775 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug c++/53534] gcov erroneously reporting opening brace of constructor is never executed.

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53534 Andrew Pinski changed: What|Removed |Added Resolution|--- |FIXED See Also|

[Bug analyzer/103526] -fanalyzer considers memcpy()ed and returned pointer to malloc()ed memory a memory leak

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103526 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |12.0

[Bug fortran/103931] Type name "c_ptr" is ambiguous when iso_c_binding is imported both directly and indirectly

2022-01-06 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103931 Martin Liška changed: What|Removed |Added CC||aldot at gcc dot gnu.org,

[Bug other/11146] Bad characters can happen in cpp.1, gcc.1 man pages

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11146 --- Comment #8 from Andrew Pinski --- So we were doing: Define the macros @sc{__gnuc__}, @sc{__gnuc_minor__} Where texi2pod.pl does: s/\@sc\{([^\}]*)\}/\U$1/g; Which should be fine. It should have replaced @sc{__gnuc__} with __GNUC__.

[Bug tree-optimization/103802] [12 regression] recip-3.c fails after r12-6087 on Power m32

2022-01-06 Thread luoxhu at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103802 --- Comment #6 from luoxhu at gcc dot gnu.org --- (In reply to Richard Biener from comment #5) > So the point is that P is invariant but we do not hoist it because it's > computed in a (estimated) cold block? I notice that the condition is >

[Bug c++/25751] Poor error when templating on undefined types

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25751 --- Comment #5 from Andrew Pinski --- Reduced testcase: template struct gg{}; int main(void) { gg v; v.begin(); }

[Bug c++/78104] optimizer doesn't grok C++ new/delete yet

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78104 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |10.0

[Bug d/103840] d: Errors message: Please submit a full bug report in testsuite

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103840 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |12.0

[Bug tree-optimization/66502] SCCVN can't handle PHIs optimistically optimally

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66502 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |10.0

[Bug fortran/89639] FAIL: gfortran.dg/ieee/ieee_9.f90 -O0 (test for excess errors)

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89639 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |12.0

[Bug go/103847] gccgo SIGSEGV in libgo standard library on sparc64

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103847 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |12.0

[Bug tree-optimization/103797] Clang vectorized LightPixel while GCC does not

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103797 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |12.0

[Bug other/11146] Bad characters can happen in cpp.1, gcc.1 man pages

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11146 Andrew Pinski changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug c++/55004] [meta-bug] constexpr issues

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55004 Bug 55004 depends on bug 86354, which changed state. Bug 86354 Summary: Address comparison not a constant expression https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86354 What|Removed |Added

[Bug c++/86354] Address comparison not a constant expression

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86354 Patrick Palka changed: What|Removed |Added Resolution|--- |DUPLICATE Status|NEW

[Bug c++/94716] comparison of address of template variables should be constexpr

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94716 Patrick Palka changed: What|Removed |Added CC||pdimov at gmail dot com --- Comment #7

Re: [PATCH] Loop unswitching: support gswitch statements.

2022-01-06 Thread Martin Liška
On 1/5/22 13:34, Richard Biener wrote: On Thu, Dec 9, 2021 at 2:02 PM Martin Liška wrote: On 11/30/21 12:17, Richard Biener wrote: I'd like to see the gswitch support - that's what was posted before stage3 close, this patch on its own doesn't seem worth pushing for. That said, I have some

[PATCH] nvptx: Add support for PTX's cnot instruction.

2022-01-06 Thread Roger Sayle
Happy New Year for 2022. This is a simple patch, now that the nvptx backend has transitioned to STORE_FLAG_VALUE=1, that adds support for NVidia's cnot instruction, that implements C/C++ style logical negation. Previously, the simple function: int foo(int x) { return !x; } on nvptx-none with

[Ada] Simplify GNAT AST printing with simple GNAT hash table

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
For pretty-printing of GNAT AST we had a custom hash table which stored visited nodes. Now this custom hash table is replaced with an instance of GNAT.Dynamic_Tables.Dynamic_Hash_Tables. Expansion and compression factors for this table are the same as for all other instances of Dynamic_Hash_Tables

[Ada] Simplify repeated calls in printing of GNAT AST

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
Code cleanup; behaviour is unaffected. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * treepr.adb (Visit_Node): Simplify repeated call to Next_Entity.diff --git a/gcc/ada/treepr.adb b/gcc/ada/treepr.adb --- a/gcc/ada/treepr.adb +++ b/gcc/ada/treepr.adb @@ -2305,8

[Ada] Remove duplicates of empty strings

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
In package Stringt we already have a Null_String_Id, which represents a null string with length zero. There is no need to duplicate it in other packages. Cleanup originating from enabling expansion of dispatching wrappers for GNATprove; semantics is unaffected. Tested on x86_64-pc-linux-gnu,

[Ada] Move messages on division by zero to the right operand

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
All compile-time messages about division by zero are now located at the right operand. Previously some of them were located at the division operator, which was inconsistent. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_eval.adb (Eval_Arithmetic_Op): Add Loc parameter

Re: [PATCH] [i386] Optimize V16HF vector insert to element 0 for AVX2.

2022-01-06 Thread Uros Bizjak via Gcc-patches
On Thu, Jan 6, 2022 at 10:22 AM liuhongt via Gcc-patches wrote: > > Also remove mode attribute blendsuf, use ssemodesuf instead. > Bootstrapped and regtested on x86_64-pc-linux-gnu{-m32,}. > Ready to push to trunk. > > gcc/ChangeLog: > > PR target/103753 > *

[Bug libstdc++/100017] [11/12 regression] error: 'fenv_t' has not been declared in '::' -- canadian compilation fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017 --- Comment #62 from Jonathan Wakely --- But that's off topic for GCC's bugzilla, please try to focus.

[Bug libstdc++/100017] [11/12 regression] error: 'fenv_t' has not been declared in '::' -- canadian compilation fails

2022-01-06 Thread unlvsur at live dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017 --- Comment #65 from cqwrteur --- (In reply to Jonathan Wakely from comment #62) > But that's off topic for GCC's bugzilla, please try to focus. Is that because #if _GLIBCXX_HAVE_FENV_H # include #endif here _GLIBCXX_HAVE_FENV_H in the

Re: [committed] libstdc++: Reduce template instantiations in

2022-01-06 Thread Jonathan Wakely via Gcc-patches
On Thu, 6 Jan 2022 at 10:33, Jonathan Wakely wrote: > > > On Thu, 6 Jan 2022 at 10:00, Stephan Bergmann wrote: > >> On 05/01/2022 14:47, Jonathan Wakely via Libstdc++ wrote: >> > Tested powerpc64le-linux, pushed to trunk. >> > >> > >> > This moves the last two template parameters of

[Bug gcov-profile/45272] comment about sqrt() implementation wrong: it is not from Carmack

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45272 --- Comment #4 from Andrew Pinski --- (In reply to Martin Liška from comment #3) > Do you suggest using sreal, or something else? MPFR? See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45273#c6 for the patch.

[Bug c++/61755] Reference to function is parsed as const reference to function in debug info

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61755 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

Re: [PATCH] Libquadmath: add nansq() function

2022-01-06 Thread FX via Gcc-patches
Hi Joseph, > All targets with _Float128 should have __builtin_nansf128, since we have > DEF_GCC_FLOATN_NX_BUILTINS (BUILT_IN_NANS, "nans", NAN_TYPE, > ATTR_CONST_NOTHROW_NONNULL) > in builtins.def. Hum, I see, I didn’t know that version existed. To be honest, I find the “other built-ins” doc

Re: [PATCH] gcc: pass-manager: Fix memory leak. [PR jit/63854]

2022-01-06 Thread David Malcolm via Gcc-patches
On Thu, 2022-01-06 at 08:53 -0500, David Malcolm wrote: > On Sun, 2021-12-19 at 22:30 +0100, Marc Nieper-Wißkirchen wrote: > > This patch fixes a memory leak in the pass manager. In the existing > > code, > > the m_name_to_pass_map is allocated in > > pass_manager::register_pass_name, but > >

[Bug libstdc++/103923] is_invocable inexplicably fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103923 Jonathan Wakely changed: What|Removed |Added CC||fdumont at gcc dot gnu.org ---

[Bug c++/61611] Incorrect exception rethrown from a function-try-catch block when a nested try-catch executes

2022-01-06 Thread jason at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61611 Jason Merrill changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gnu.org

[Bug c++/103600] Cannot use typeid result in constant expressions

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103600 Patrick Palka changed: What|Removed |Added Blocks|102551 | CC|

[Bug c++/102551] Failing compile-time comparison of std::type_info addresses

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102551 Patrick Palka changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug libstdc++/103911] std::from_chars shouldn't call isdigit

2022-01-06 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103911 --- Comment #1 from CVS Commits --- The master branch has been updated by Jonathan Wakely : https://gcc.gnu.org/g:c83ecfbe74a5cf107642b9c5e1680b548ff1a0e1 commit r12-6281-gc83ecfbe74a5cf107642b9c5e1680b548ff1a0e1 Author: Jonathan Wakely

Re: [PATCH 1/6] ira: Add a ira_loop_border_costs class

2022-01-06 Thread Jan Hubicka via Gcc-patches
> The final index into (ira_)memory_move_cost is 1 for loads and > 0 for stores. Thus the combination: > > entry_freq * memory_cost[1] + exit_freq * memory_cost[0] > > is the cost of loading a register on entry to a loop and > storing it back on exit from the loop. This is the cost to > use

[Bug c++/69681] C/C++ FEs do not consider comparisons of distinct function pointers to be constant expressions

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69681 Patrick Palka changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug c++/77911] Comparing function pointers in a constexpr function can produce an error.

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77911 Bug 77911 depends on bug 69681, which changed state. Bug 69681 Summary: C/C++ FEs do not consider comparisons of distinct function pointers to be constant expressions https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69681 What

[Bug c++/55004] [meta-bug] constexpr issues

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55004 Bug 55004 depends on bug 69681, which changed state. Bug 69681 Summary: C/C++ FEs do not consider comparisons of distinct function pointers to be constant expressions https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69681 What

[Bug c++/55004] [meta-bug] constexpr issues

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55004 Bug 55004 depends on bug 77911, which changed state. Bug 77911 Summary: Comparing function pointers in a constexpr function can produce an error. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77911 What|Removed

[Bug libstdc++/100017] [11/12 regression] error: 'fenv_t' has not been declared in '::' -- canadian compilation fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017 --- Comment #52 from Jonathan Wakely --- (In reply to Andrew Aladjev from comment #35) > Hello cqwrteur, do you have an influence on core gcc developers? He has negative influence. The more he comments on a bug, the less likely I am to even

[Bug c++/89367] Constexpr expression is not constexpr in template, but is constexpr in non-template.

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89367 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED CC|

[Bug c++/55004] [meta-bug] constexpr issues

2022-01-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55004 Bug 55004 depends on bug 89367, which changed state. Bug 89367 Summary: Constexpr expression is not constexpr in template, but is constexpr in non-template. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89367 What|Removed

Re: [PATCH] Loop unswitching: support gswitch statements.

2022-01-06 Thread Andrew MacLeod via Gcc-patches
On 1/6/22 11:02, Martin Liška wrote: On 1/6/22 16:11, Andrew MacLeod wrote: On 1/5/22 07:34, Richard Biener wrote: On Thu, Dec 9, 2021 at 2:02 PM Martin Liška wrote: On 11/30/21 12:17, Richard Biener wrote: + unswitch_predicate *predicate +   = new

Re: [PATCH 2/2] RISC-V: Minimal support of vector extensions

2022-01-06 Thread Kito Cheng via Gcc-patches
Committed with minor changelog fix On Fri, Dec 3, 2021 at 11:52 PM Kito Cheng wrote: > > gcc/ChangeLog: > > * common/config/riscv/riscv-common.c (riscv_implied_info): Add > vector extensions. > (riscv_ext_version_table): Add version info for vector extensions. >

Re: [PATCH 1/2] RISC-V: Allow extension name contain digit

2022-01-06 Thread Kito Cheng via Gcc-patches
Committed On Fri, Dec 3, 2021 at 11:51 PM Kito Cheng wrote: > > RISC-V spec only allow alphabetical name for extension before, however > vector extension add several extension named with digits, so we try to > extend the naming rule. > > Ref: > https://github.com/riscv/riscv-isa-manual/pull/718

[Ada] Proof of runtime units for binary modular exponentiation

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
This proves the generic unit System.Exponu instantiated for Unsigned, Long_Long_Unsigned and Long_Long_Long_Unsigned. The proof is simpler than the one for signed integers, as there are no possible overflows here. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ *

[Ada] Justify false positive message from CodePeer analysis of GNAT

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
Analysis of loop variant is known to lead to false alarms with CodePeer. Add pragma Annotate in such a case which can be justified. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * libgnat/s-exponu.adb (Exponu): Add annotation.diff --git a/gcc/ada/libgnat/s-exponu.adb

[Ada] Spurious error when using current instance of type

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
This patch fixes an issue in the compiler whereby it fails to recognize the presence of a current instance of an incomplete type when the instance is used within a default expression for a record component. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_ch3.adb

[Ada] Avoid building malformed component constraints

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
The previous fix introduced a not-yet-understood regression in compiling CodePeer. For now, we attempt a quick workaround for the problem. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_util.adb (Build_Discriminant_Reference): In the unexpected case where we

[Ada] Remove unreferenced Warn_On_Instance

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
Cleanup related to handling of -gnatwE (warnings-as-errors) in instances of generic units. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * err_vars.ads (Warn_On_Instance): Remove; it was a relic from the previous handling of warning in instances that was removed

[Ada] Fix regression in freezing code for instantiations

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
When going to the outer level for the placement of a freeze node in the case where the current package has no body, the previous change would overlook instantiations whose body has not materialized yet. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_ch12.adb

[Ada] Simplify traversal for removing warnings from dead code

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
Cleanup related to handling of warnings-as-errors. Semantics is unaffected. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * errout.adb (Remove_Warning_Messages): Use traversal procedure instead of traversal function, since we discard status of each step

[Ada] Proof of System.Generic_Array_Operations at silver level

2022-01-06 Thread Pierre-Marie de Rodat via Gcc-patches
Proof of the generic unit to array operations (vector/matrix), only at silver level, for runtime errors that come from the generic part of the unit. This does not prove e.g. absence of overflows in an instantiation related to arithmetic operations passed as formal generic subprogram parameters.

[Bug libstdc++/100017] [11/12 regression] error: 'fenv_t' has not been declared in '::' -- canadian compilation fails

2022-01-06 Thread unlvsur at live dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017 --- Comment #61 from cqwrteur --- (In reply to Alexander von Gluck from comment #56) > Canadian builds are pretty important in GCC. > > clang doesn't really need Canadian builds since they support all targets out > of the box on every

[Bug target/102952] New code-gen options for retpolines and straight line speculation

2022-01-06 Thread andrew.cooper3 at citrix dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102952 --- Comment #33 from Andrew Cooper --- Looks good to me

[Bug libstdc++/100017] [11/12 regression] error: 'fenv_t' has not been declared in '::' -- canadian compilation fails

2022-01-06 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017 --- Comment #66 from Jonathan Wakely --- (In reply to cqwrteur from comment #63) > so what's your solution to fix this problem? Are we going to fix it after > GCC13? I'm working on it right now, but it would help if you would just shut the

  1   2   3   4   >