[Bug target/25722] New: Stackpointer is not restored correct at end of function

[Bug target/25722] New: Stackpointer is not restored correct at end of function

[bl at rosetechnology dot dk]

In at least one case where a lot of local variables have been used in a
function the stackpointer is restored from a register pair where the it have
never been saved.


-- 
           Summary: Stackpointer is not restored correct at end of function
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bl at rosetechnology dot dk
GCC target triplet: avr


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

[Bug target/25722] Stackpointer is not restored correct at end of function

[bl at rosetechnology dot dk]

------- Comment #1 from bl at rosetechnology dot dk  2006-01-09 12:33 -------
Created an attachment (id=10598)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10598&action=view)
Testcase

Testcase including debug code for avr-studio 4. When the funtion 'Evaluate'
exits the program chrashes


-- 


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

[Bug target/25722] Stackpointer is not restored correct at end of function

[berndtrog at yahoo dot com]

------- Comment #2 from berndtrog at yahoo dot com  2006-01-10 16:56 -------
Only 3.4.x seems allocate a frame pointer in the function 'Evaluate'.

It would be interesting if this bug can be triggered in 4.x!


-- 

berndtrog at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |berndtrog at yahoo dot com


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

[Bug target/25722] Stackpointer is not restored correct at end of function

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal


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

[Bug target/25722] Stackpointer is not restored correct at end of function

[anitha dot boyapati at atmel dot com]

------- Comment #3 from anitha dot boyapati at atmel dot com  2010-07-19 12:56 -------

When I tried with AVR Studio 4.18, Build 684, the program didn't crash.

I think the issue is not with compiler. Disassembly looks proper and call to
Evaluate() is returned. This can be verified by using breakpoints in assembly
statements.

119:          Evaluate();
+0000023E:   940E0056    CALL      0x00000056     Call subroutine
+00000240:   CFFF        RJMP      PC-0x0000      Relative jump

However when I tried to put breakpoint for 'while' statement, it did not work
out as the corresponding source line couldn't be found in the program memory.
This differs from the expected behavior.


-- 

anitha dot boyapati at atmel dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anitha dot boyapati at atmel
                   |                            |dot com


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

[Bug target/25722] Stackpointer is not restored correct at end of function

[anitha dot boyapati at atmel dot com]

------- Comment #4 from anitha dot boyapati at atmel dot com  2010-07-19 13:03 -------
SSA pass pass_remove_useless_stmts() removes useless statements and any code
beyond statements like "while(1);" will not be generated. This might be why the
breakpoint at "while(TRUE);" in the testcase is not recognised [and hence the
simulation looks like hanged/or not returned from evaluate() ]


-- 


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

[Bug target/25722] Stackpointer is not restored correct at end of function

[eric dot weddington at atmel dot com]

------- Comment #5 from eric dot weddington at atmel dot com  2010-07-19 13:43 -------
Closing as WORKSFORME based on comments #3, #4.


-- 

eric dot weddington at atmel dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WORKSFORME


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