[Bug tree-optimization/79527] New: non-call-exceptions optimize attribute not propagated during inlining

2017-02-15 Thread stefan at reservoir dot com
Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: stefan at reservoir dot com Target Milestone: --- Created attachment 40744 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40744=edit Output of -fdump-t

[Bug tree-optimization/79527] non-call-exceptions optimize attribute not propagated during inlining

2017-02-15 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79527 --- Comment #1 from Stefan M Freudenberger --- Created attachment 40745 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40745=edit Output of -fdump-tree-einline-eh with -fnon-call-exceptions command line flag

[Bug tree-optimization/78646] incorrect result type for pointer addition in slsr

2016-12-02 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78646 --- Comment #2 from Stefan M Freudenberger --- It's not an ICE on x86, but the dump shows the incorrect pointer type. Can I assert that the cand_type is a pointer and not a reference?

[Bug tree-optimization/78646] incorrect result type for pointer addition in slsr

2016-12-02 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78646 --- Comment #4 from Stefan M Freudenberger --- I guess there wouldn't be an issue if it were a reference type. However, there is an issue with the incorrect alignment for the object type.

[Bug tree-optimization/78646] incorrect result type for pointer addition in slsr

2016-12-02 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78646 --- Comment #5 from Stefan M Freudenberger --- This is the revised patch: - add_expr = fold_build2 (POINTER_PLUS_EXPR, TREE_TYPE (c->base_expr), + add_expr = fold_build2 (POINTER_PLUS_EXPR, c->cand_type,

[Bug tree-optimization/78646] New: incorrect result type for pointer addition in slsr

2016-12-02 Thread stefan at reservoir dot com
Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: stefan at reservoir dot com Target Milestone: --- Created attachment 40225 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40225=edit output of -fdump-tree-slsr In the program below, struct A is

[Bug middle-end/80262] address space gets lost in memory access

2017-03-30 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80262 --- Comment #4 from Stefan M Freudenberger --- My original example involved a MEM with a constant offset, and yielded an ICE: internal compiler error: tree check: expected integer_cst, have addr_space_convert_expr in decompose, at tree.h Maybe

[Bug middle-end/80262] address space gets lost in memory access

2017-03-30 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80262 --- Comment #2 from Stefan M Freudenberger --- Created attachment 41088 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41088=edit Output from -fdump-tree-esra

[Bug middle-end/80262] New: address space gets lost in memory access

2017-03-30 Thread stefan at reservoir dot com
-end Assignee: unassigned at gcc dot gnu.org Reporter: stefan at reservoir dot com Target Milestone: --- Created attachment 41086 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41086=edit The source program For an out-of-tree target that supports address spa

[Bug middle-end/80262] address space gets lost in memory access

2017-03-30 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80262 --- Comment #1 from Stefan M Freudenberger --- Created attachment 41087 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41087=edit Output from -fdump-tree-forwprop1

[Bug middle-end/80262] address space gets lost in memory access

2017-04-05 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80262 --- Comment #6 from Stefan M Freudenberger --- Created attachment 41134 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41134=edit Modified source program that shows issue on x86_64. I've modified my example (attached) to show the issue in

[Bug middle-end/84747] alias analysis reports may-conflict for references to disjoint address spaces

2018-03-07 Thread stefan at reservoir dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84747 --- Comment #3 from Stefan M Freudenberger --- In this case I would have expected that TARGET_ADDR_SPACE_SUBSET_P will return TRUE, as appropriate. Granted, it would render my example invalid for x86.

[Bug c/84747] New: alias analysis reports may-conflict for references to disjoint address spaces

2018-03-07 Thread stefan at reservoir dot com
: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: stefan at reservoir dot com Target Milestone: --- Created attachment 43584 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43584=edit patch to improve alias analy