[Bug middle-end/60429] [4.7 Regression] Miscompilation (aliasing) with -finline-functions

2014-06-12 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|4.7.4   |4.8.3
  Known to fail||4.7.4

--- Comment #32 from Richard Biener  ---
Fixed for 4.8.3.


[Bug middle-end/60429] [4.7 Regression] Miscompilation (aliasing) with -finline-functions

2014-03-24 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429

--- Comment #31 from rguenther at suse dot de  ---
On Sat, 22 Mar 2014, mikpelinux at gmail dot com wrote:

> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429
> 
> Mikael Pettersson  changed:
> 
>What|Removed |Added
> 
>  CC||mikpelinux at gmail dot com
> 
> --- Comment #29 from Mikael Pettersson  ---
> Richard, your 4.8 backport performs the same call twice in a row on lines 3017
> and 3018 in tree-ssa-structalias.c; is that really intentional?
> 
> +  /* We have to include all fields that overlap the current
> + field shifted by rhsoffset.  And we include at least
> + the last or the first field of the variable to represent
> + reachability of off-bound addresses, in particular &object + 1,
> + conservatively correct.  */
> +  temp = first_or_preceding_vi_for_offset (curr, offset);
> +  temp = first_or_preceding_vi_for_offset (curr, offset);

No, fixed.


[Bug middle-end/60429] [4.7 Regression] Miscompilation (aliasing) with -finline-functions

2014-03-24 Thread rguenther at suse dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429

--- Comment #30 from Richard Biener  ---
Author: rguenth
Date: Mon Mar 24 08:42:37 2014
New Revision: 208784

URL: http://gcc.gnu.org/viewcvs?rev=208784&root=gcc&view=rev
Log:
2014-03-24  Richard Biener  

PR tree-optimization/60429
* tree-ssa-structalias.c (get_constraint_for_ptr_offset): Remove
duplicated line.

Modified:
branches/gcc-4_8-branch/gcc/ChangeLog
branches/gcc-4_8-branch/gcc/tree-ssa-structalias.c

--- Comment #31 from rguenther at suse dot de  ---
On Sat, 22 Mar 2014, mikpelinux at gmail dot com wrote:

> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429
> 
> Mikael Pettersson  changed:
> 
>What|Removed |Added
> 
>  CC||mikpelinux at gmail dot com
> 
> --- Comment #29 from Mikael Pettersson  ---
> Richard, your 4.8 backport performs the same call twice in a row on lines 3017
> and 3018 in tree-ssa-structalias.c; is that really intentional?
> 
> +  /* We have to include all fields that overlap the current
> + field shifted by rhsoffset.  And we include at least
> + the last or the first field of the variable to represent
> + reachability of off-bound addresses, in particular &object + 1,
> + conservatively correct.  */
> +  temp = first_or_preceding_vi_for_offset (curr, offset);
> +  temp = first_or_preceding_vi_for_offset (curr, offset);

No, fixed.


[Bug middle-end/60429] [4.7 Regression] Miscompilation (aliasing) with -finline-functions

2014-03-24 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429

--- Comment #30 from Richard Biener  ---
Author: rguenth
Date: Mon Mar 24 08:42:37 2014
New Revision: 208784

URL: http://gcc.gnu.org/viewcvs?rev=208784&root=gcc&view=rev
Log:
2014-03-24  Richard Biener  

PR tree-optimization/60429
* tree-ssa-structalias.c (get_constraint_for_ptr_offset): Remove
duplicated line.

Modified:
branches/gcc-4_8-branch/gcc/ChangeLog
branches/gcc-4_8-branch/gcc/tree-ssa-structalias.c


[Bug middle-end/60429] [4.7 Regression] Miscompilation (aliasing) with -finline-functions

2014-03-22 Thread mikpelinux at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429

Mikael Pettersson  changed:

   What|Removed |Added

 CC||mikpelinux at gmail dot com

--- Comment #29 from Mikael Pettersson  ---
Richard, your 4.8 backport performs the same call twice in a row on lines 3017
and 3018 in tree-ssa-structalias.c; is that really intentional?

+  /* We have to include all fields that overlap the current
+ field shifted by rhsoffset.  And we include at least
+ the last or the first field of the variable to represent
+ reachability of off-bound addresses, in particular &object + 1,
+ conservatively correct.  */
+  temp = first_or_preceding_vi_for_offset (curr, offset);
+  temp = first_or_preceding_vi_for_offset (curr, offset);


[Bug middle-end/60429] [4.7 Regression] Miscompilation (aliasing) with -finline-functions

2014-03-17 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60429

Richard Biener  changed:

   What|Removed |Added

  Known to work||4.8.3, 4.9.0
Summary|[4.7/4.8 Regression]|[4.7 Regression]
   |Miscompilation (aliasing)   |Miscompilation (aliasing)
   |with -finline-functions |with -finline-functions
  Known to fail||4.7.3, 4.8.2

--- Comment #28 from Richard Biener  ---
Also fixed on the 4.8 branch.