[Bug target/10127] -fstack-check let's program crash

[Bug target/10127] -fstack-check let's program crash

[jbuck at gcc dot gnu dot org]

------- Comment #5 from jbuck at gcc dot gnu dot org  2007-01-14 00:51 -------
I do not see this crash with gcc 4.1.1.  Is it still present?
I did see it with 3.4.2.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #6 from ebotcazou at gcc dot gnu dot org  2007-01-14 07:34 -------
> I do not see this crash with gcc 4.1.1.  Is it still present?
> I did see it with 3.4.2.

-fstack-check doesn't work on Linux/x86 and Linux/x86-64 without runtime
support.
Only the Ada compiler currently implements it.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
 GCC target triplet|                            |x86-linux, x86_64-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2009-08-04 10:09 -------
*** Bug 13757 has been marked as a duplicate of this bug. ***


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |duncan_roe at acslink dot
                   |                            |net dot au


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-06-28 01:27:31         |2009-11-03 21:22:58
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2009-11-03 22:49 -------
Subject: Bug 10127

Author: ebotcazou
Date: Tue Nov  3 22:49:37 2009
New Revision: 153877

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153877
Log:
        PR target/10127
        PR ada/20548
        * expr.h (STACK_CHECK_PROBE_INTERVAL): Delete.
        (STACK_CHECK_PROBE_INTERVAL_EXP): New macro.
        (STACK_CHECK_MOVING_SP): Likewise.
        * system.h (STACK_CHECK_PROBE_INTERVAL): Poison it.
        * doc/tm.texi (Stack Checking): Delete STACK_CHECK_PROBE_INTERVAL.
        Document STACK_CHECK_PROBE_INTERVAL_EXP and STACK_CHECK_MOVING_SP.
        * doc/md.texi (Standard Pattern Names): Tweak entry of CHECK_STACK.
        Document PROBE_STACK.
        * explow.c (anti_adjust_stack_and_probe): New function.
        (allocate_dynamic_stack_space): Do not directly allocate space if
        STACK_CHECK_MOVING_SP, instead invoke above function.
        (emit_stack_probe): Handle probe_stack insn.
        (PROBE_INTERVAL): New macro.
        (STACK_GROW_OPTAB): Likewise.
        (STACK_GROW_OFF): Likewise.
        (probe_stack_range): Use Pmode and memory_address consistently.  Fix
        loop condition in the small constant case.  Rewrite in the general
        case to be immune to wraparounds.  Make sure the address of probes
        is valid.  Try to use [base + disp] addressing mode if possible.
        * ira.c (setup_eliminable_regset): Set frame_pointer_needed if stack
        checking is enabled and STACK_CHECK_MOVING_SP.
        * rtlanal.c (may_trap_p_1) <MEM>: If stack checking is enabled,
        return 1 for volatile references to the stack pointer.
        * tree.c (build_common_builtin_nodes): Do not set ECF_NOTHROW on
        __builtin_alloca if stack checking is enabled.
        * unwind-dw2.c (uw_identify_context): Take into account whether the
        context is that of a signal frame or not.
        * config/i386/linux.h (STACK_CHECK_MOVING_SP): Define to 1.
        * config/i386/linux64.h (STACK_CHECK_MOVING_SP): Likewise.

Added:
    trunk/gcc/testsuite/gnat.dg/stack_check1.adb
    trunk/gcc/testsuite/gnat.dg/stack_check2.adb
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/linux.h
    trunk/gcc/config/i386/linux64.h
    trunk/gcc/doc/md.texi
    trunk/gcc/doc/tm.texi
    trunk/gcc/explow.c
    trunk/gcc/expr.h
    trunk/gcc/ira.c
    trunk/gcc/rtlanal.c
    trunk/gcc/system.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c
    trunk/gcc/unwind-dw2.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #9 from ebotcazou at gcc dot gnu dot org  2009-11-03 22:52 -------
At long last.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #10 from ebotcazou at gcc dot gnu dot org  2009-11-04 21:46 -------
Subject: Bug 10127

Author: ebotcazou
Date: Wed Nov  4 21:45:54 2009
New Revision: 153918

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153918
Log:
        PR target/10127
        PR ada/20548
        * config/i386/i386.md (probe_stack_range): New expander.
        (logical operation peepholes): Do not split stack checking probes.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.md
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/ada/acats/norun.lst
    trunk/gcc/testsuite/ada/acats/run_acats


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #11 from ebotcazou at gcc dot gnu dot org  2009-11-10 20:45 -------
Subject: Bug 10127

Author: ebotcazou
Date: Tue Nov 10 20:45:25 2009
New Revision: 154079

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154079
Log:
        PR target/10127
        PR ada/20548
        * expr.h (anti_adjust_stack_and_probe): Declare.
        * explow.c (anti_adjust_stack_and_probe): Make global, add ADJUST_BACK
        parameter and rewrite head comment.
        (allocate_dynamic_stack_space): Adjust call to above function.
        * function.c (expand_function_end): Handle STACK_CHECK_MOVING_SP.

        * tree.h (dwarf2out_args_size): Delete.
        * dwarf2out.c (dwarf2out_args_size): Make static and move around.
        (dwarf2out_args_size_adjust): Delete prototype and move around.
        (dwarf2out_frame_debug_expr): Do not record arg size adjustments for
        ACCUMULATE_OUTGOING_ARGS targets.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/dwarf2out.c
    trunk/gcc/explow.c
    trunk/gcc/expr.h
    trunk/gcc/function.c
    trunk/gcc/tree.h


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[ebotcazou at gcc dot gnu dot org]

------- Comment #12 from ebotcazou at gcc dot gnu dot org  2009-11-25 19:55 -------
Subject: Bug 10127

Author: ebotcazou
Date: Wed Nov 25 19:55:11 2009
New Revision: 154650

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154650
Log:
        PR target/10127
        PR ada/20548
        PR middle-end/42004
        * dwarf2out.c (dwarf2out_args_size_adjust): Rename to...
        (dwarf2out_stack_adjust): ...this.  Do not adjust the arg size for
        ACCUMULATE_OUTGOING_ARGS targets.  Rename former version to...
        (dwarf2out_notice_stack_adjust): ...this.  Adjust for above renaming.
        (dwarf2out_frame_debug_expr): Revert previous change and adjust for
        above renaming.
        (dwarf2out_frame_debug): Add ??? comment.  Adjust for above renaming.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/dwarf2out.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[lothar at xcerla dot com]

------- Additional Comments From lothar at xcerla dot com  2003-12-21 00:58 -------
We also experience strange intermittent crashes (sometimes the program crashes, most times 
it doesn't) when using -fstack-check with GCC 3.3.2 on Linux. If the crash occurs it always 
shows a corrupt stack. It shows a function argument that is different from what the program 
had when it executed that function (we printed the argument). What puzzeled us, was that this 
kind of crash also occured with only one thread (the main thread). 
 

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-19 01:28 -------
Related to bug 13182.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2003-08-18 02:21:42         |2003-12-19 01:28:33
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127

[Bug target/10127] -fstack-check let's program crash

[John dot Bossom at cognos dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10127



------- Additional Comments From John dot Bossom at cognos dot com  2003-09-19 19:23 -------
I am experiencing the same problem with gcc 3.3.1 and -fstack-check
on an intel box running Red Hat Linux Enterprise Server 2.1 WS