[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #11 from burnus at gcc dot gnu dot org 2007-01-31 10:24 --- Subject: Bug 27588 Author: burnus Date: Wed Jan 31 10:23:53 2007 New Revision: 121401 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=121401 Log: (This part was missing in the r118852 / Wed Nov 15 10:13:16 2006 check in) 2007-01-31 Tobias Burnus <[EMAIL PROTECTED]> PR fortran/27588 * gfortran.dg/char_bounds_check_fail_1.f90: Add test. Added: trunk/gcc/testsuite/gfortran.dg/char_bounds_check_fail_1.f90 Modified: trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #11 from chaoyingfu at gcc dot gnu dot org 2006-12-01 02:00 --- Subject: Bug 27588 Author: chaoyingfu Date: Fri Dec 1 01:57:22 2006 New Revision: 119394 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=119394 Log: Merged revisions 118791-118987 via svnmerge from svn+ssh://[EMAIL PROTECTED]/svn/gcc/trunk r118791 | gccadmin | 2006-11-13 16:17:39 -0800 (Mon, 13 Nov 2006) | 1 line Daily bump. r118793 | jiez | 2006-11-13 16:39:08 -0800 (Mon, 13 Nov 2006) | 4 lines * configure.in: Remove target-libgloss from noconfigdirs for bfin-*-*. * configure: Regenerated. r118794 | jiez | 2006-11-13 16:45:33 -0800 (Mon, 13 Nov 2006) | 4 lines * configure.in: Remove target-libgloss from noconfigdirs for bfin-*-*. * configure: Regenerated. r118798 | dj | 2006-11-13 18:29:46 -0800 (Mon, 13 Nov 2006) | 3 lines * config/m32c/m32c.c (m32c_prepare_shift): Use a separate temporary for intermediates. r118802 | ghazi | 2006-11-13 21:08:46 -0800 (Mon, 13 Nov 2006) | 7 lines * fold-const.c (fold_strip_sign_ops): Handle COMPOUND_EXPR and COND_EXPR. testsuite: * gcc.dg/builtins-20.c: Add more cases. r118808 | bonzini | 2006-11-14 00:46:26 -0800 (Tue, 14 Nov 2006) | 16 lines 2006-11-14 Paolo Bonzini <[EMAIL PROTECTED]> PR rtl-optimization/29798 * fwprop.c (use_killed_between): Check that DEF_INSN dominates TARGET_INSN before any other check. (fwprop_init): Always calculate dominators. (fwprop_done): Always free them. 2006-11-14 Paolo Bonzini <[EMAIL PROTECTED]> PR rtl-optimization/29798 * gcc.c-torture/execute/pr29798.c: New. r118810 | bonzini | 2006-11-14 04:14:33 -0800 (Tue, 14 Nov 2006) | 7 lines 2006-11-14 Paolo Bonzini <[EMAIL PROTECTED]> * Makefile.tpl (clean-stage*): Test separately for package/Makefile and stageN-package/Makefile. * Makefile.in: Regenerated. r118812 | burnus | 2006-11-14 07:35:36 -0800 (Tue, 14 Nov 2006) | 13 lines fortran/ 2006-11-14 Tobias Burnus <[EMAIL PROTECTED]> PR fortran/29657 * symbol.c (check_conflict): Add further conflicts. testsuite/ 2006-11-14 Tobias Burnus <[EMAIL PROTECTED]> PR fortran/29657 * gfortran.dg/conflicts.f90: Add. r118813 | erven | 2006-11-14 07:45:55 -0800 (Tue, 14 Nov 2006) | 1 line MAINTAINERS (Write After Approval): Add myself. r118814 | jsm28 | 2006-11-14 08:01:41 -0800 (Tue, 14 Nov 2006) | 3 lines * testsuite/26_numerics/complex/13450.cc: Do not test long double in IBM long double case. r118819 | mmitchel | 2006-11-14 09:15:08 -0800 (Tue, 14 Nov 2006) | 3 lines PR c++/29106 * g++.dg/init/self1.C: New test. r118820 | burnus | 2006-11-14 09:31:00 -0800 (Tue, 14 Nov 2006) | 6 lines 2006-11-14 Tobias Burnus <[EMAIL PROTECTED]> * match.c (gfc_match_namelist): Add missing space to error message. r118821 | dberlin | 2006-11-14 10:12:20 -0800 (Tue, 14 Nov 2006) | 24 lines 2006-11-14 Daniel Berlin <[EMAIL PROTECTED]> Fix PR tree-optimization/27755 * tree-ssa-pre.c: Update comments. (bb_bitmap_sets): Add pa_in and deferred member. (BB_DEFERRED): New macro. (maximal_set): New variable. (pre_stats): Add pa_insert member. (bitmap_set_and): Short circuit orig == dest. (bitmap_set_subtract_values): New function. (bitmap_set_contains_expr): Ditto. (translate_vuses_through_block): Add phiblock argument. (dependent_clean): New function. (compute_antic_aux): Update for maximal_set changes. (compute_partial_antic_aux): New function. (compute_antic): Handle partial anticipation. (do_partial_partial_insertion): New function. (insert_aux): Handle partial anticipation. (add_to_sets): Add to maximal set. (compute_avail): Ditto. (init_pre): Initialize maximal_set. (execute_pre): Do partial anticipation if -O3+. r118823 | echristo | 2006-11-14 11:42:51 -0800 (Tue, 14 Nov 2006) | 4 lines 2006-11-14 Eric Christopher <[EMAIL PROTECTED]> * configure: Regenerate with autoconf 2.59. r118825 | jsm28 | 2006-11-14 12:36:28 -0800 (Tue, 14 Nov 2006) | 5 lines * config/arm/arm.h (FUNCTION_ARG_ADVANCE): Only adjust iwmmxt_nregs if TARGET_IWMMXT_ABI. * config/arm/iwmmxt.md (movv8qi_internal, movv4hi_internal, movv2si_internal): Support moves between core registers. r118826 | ctice | 2006-11-14 12:55:56 -0800 (Tue, 14 Nov 2006) | 4 lines Add ability to generate DWARF pubtypes section if DEBUG_PUBTYPES_SECTION is defined. Also add dejagnu testcases for pubtypes. r118827 | rguenth | 2006-11-14 14:
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #10 from burnus at gcc dot gnu dot org 2006-11-15 10:16 --- Fixed in 4.3 == trunk. -- burnus at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #9 from burnus at gcc dot gnu dot org 2006-11-15 10:13 --- Subject: Bug 27588 Author: burnus Date: Wed Nov 15 10:13:16 2006 New Revision: 118852 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118852 Log: fortran/ 2006-11-15 Tobias Burnus <[EMAIL PROTECTED]> Francois-Xavier Coudert <[EMAIL PROTECTED]> PR fortran/27588 * trans-expr.c (gfc_conv_substring): Add bounds checking. (gfc_conv_variable, gfc_conv_substring_expr): Pass more arguments to gfc_conv_substring. testsuite/ 2006-11-15 Tobias Burnus <[EMAIL PROTECTED]> PR fortran/27588 * gfortran.dg/char_bounds_check_fail_1.f90: New test. Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/fortran/trans-expr.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #8 from patchapp at dberlin dot org 2006-11-11 01:25 --- Subject: Bug number PR27588 A patch for this bug has been added to the patch tracker. The mailing list url for the patch is http://gcc.gnu.org/ml/gcc-patches/2006-11/msg00694.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #7 from burnus at gcc dot gnu dot org 2006-11-10 22:41 --- Mine. -- burnus at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|fxcoudert at gcc dot gnu dot|burnus at gcc dot gnu dot |org |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #6 from burnus at gcc dot gnu dot org 2006-11-10 20:46 --- The latest patch is at: http://gcc.gnu.org/ml/gcc-patches/2006-10/msg01030.html Problems: - variable name missing - line number is off-by-one -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #5 from patchapp at dberlin dot org 2006-10-05 08:07 --- Subject: Bug number PR27588 A patch for this bug has been added to the patch tracker. The mailing list url for the patch is http://gcc.gnu.org/ml/gcc-patches/2006-10/msg00234.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #4 from Francois-Xavier dot Coudert at ens dot fr 2006-10-02 15:32 --- Subject: Re: -fbounds-check should catch substring out of range accesses > I'm writing a patch to add substring bounds checking. I hope to post it in the > next few days. Great! > What is the status? If you have something, I'd save my time of looking > at trans-expr.c's gfc_conv_substring and trying to understand how to > add it there. The status is: "I had the beginning of a patch, but it didn't work fully, and I think it didn't survive summer cleaning of my account". But, I'll be happy to answer any question you have, and review your patch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #3 from tobias dot burnus at physik dot fu-berlin dot de 2006-10-02 15:15 --- > From Francois-Xavier Coudert 2006-06-08 I'm writing a patch to add substring bounds checking. I hope to post it in the next few days. What is the status? If you have something, I'd save my time of looking at trans-expr.c's gfc_conv_substring and trying to understand how to add it there. Looking at http://www.polyhedron.com/pb05/linux/diagnose.html, this seems to be the last area where gfortran is worse than all others. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #2 from fxcoudert at gcc dot gnu dot org 2006-06-08 09:01 --- I'm writing a patch to add substring bounds checking. I hope to post it in the next few days. -- fxcoudert at gcc dot gnu dot org changed: What|Removed |Added CC||fxcoudert at gcc dot gnu dot ||org AssignedTo|unassigned at gcc dot gnu |fxcoudert at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2006-06-05 21:01:03 |2006-06-08 09:01:54 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
--- Comment #1 from pault at gcc dot gnu dot org 2006-06-05 21:01 --- Tobias, You are right, we do not check character lengths in assignment, yet. It is another PR but I just do not recall which, right now. You are correct, that this should be included in bounds checking. The standard demands that the length of the rhs, in total, should not exceed that of the lhs. Thank you for the report. Paul -- pault at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2006-06-05 21:01:03 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588
[Bug fortran/27588] -fbounds-check should catch substring out of range accesses
-- tobias dot burnus at physik dot fu-berlin dot de changed: What|Removed |Added Severity|normal |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27588