[Bug gdb/11562] New: gdb does not enter an internally defined function

["Nicolas dot Sabouret at lip6 dot fr" <sourceware-bugzilla at sourceware dot org>]

This bug was reproduced on both gdb 7.0 under ubuntu 9.10 using gcc 4.4.1 and
gdb 7.1, ubuntu 10.04 LTS, gcc 4.4.3.

I packaged all the files required to reproduce the bug. You can download the
archive at the following URL (200 Ko):
http://www-poleia.lip6.fr/~sabouret/gdb.tar.gz

Compilation:
$ gcc -DFONTFILE='"/...../font.ttf"' cini.c cini_color.c cini_graphic.c
/...../morpion_CINI.c -o momo -g -lSDL -lSDL_ttf

Execution:
$ gdb momo
[...]
(gdb) break 175
Breakpoint 1 at ...
(gdb) run
Starting program: ...
178	    afficher_menu12q();
(gdb) n
179	    s = choisir_menu12q();
(gdb) s

=> Here, GDB simply freezes *without entering function
"choisir_menu12q", which is defined several lines above in the same file
(morpion_CINI.c).
Surprisingly, finishing the game release gdb and terminates the
execution correctly

However, the most surprising is that if we compile with the -O option :

$ gcc -DFONTFILE='"/..../font.ttf"' cini.c cini_color.c cini_graphic.c
/..../morpion_CINI.c -o momo -g -lSDL -lSDL_ttf -O

Then the same debug commands lead to a correct execution :

[...]
179	    s = choisir_menu12q();
(gdb) s
choisir_menu12q () at /...../morpion_CINI.c:37
37	    CINI_loop_until_clic();

=> gdb enters the function.


About the context of this bug :

We are professors at the French University Pierre & Marie Curie and we
are developing a C library for beginners in C (1st year undergraduate
students). We aim at providing end-user debugging functions based on gdb in next
September for our students. Could you help us identifying (and solving) the
problem before next semester?

Thanks in advance for you help and all the great work you do,

-- 
           Summary: gdb does not enter an internally defined function
           Product: gdb
           Version: 7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: gdb
        AssignedTo: unassigned at sourceware dot org
        ReportedBy: Nicolas dot Sabouret at lip6 dot fr
                CC: gdb-prs at sourceware dot org


http://sourceware.org/bugzilla/show_bug.cgi?id=11562

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.