Оптимизация gcc выкидывает «глупый» код

Последний день я бился над проблемой: при билде проекта в debug режиме все было ок. Как только проект собирался в режиме -O2 (с опцией -g) то gdb отказывался нормально отображать строки, где ставился брейк поинт. Довольно долго меня не покидало ощущение, что либо у меня портился стек (хотя какой тут нафиг стек), либо какая-то проблема билда. Банально это выливалось в то, что на просьбы выдать мне значения переменных gdb отвечал, что они не определенны в контексте. Я, конечно, все понимаю, но вообще такие сообщения заставляют испугаться… Немного поборовшись с билдом я обнаружил, что проблема воспроизводится только в release режиме. Дело в том, что оптимизация -O2 на столько “сильна”, что запросто может убрать некоторые переменные, сократить циклы, выкинуть условные операторы, если посчитает, что они бессмысленны.

Например,

int dummy(char *str, int i)
{
    int ii = 1;
    ii = 1;
    for (;ii < 12; ii++) {
        int kk = 0;
    }
    return 11;
}

Допустим вы поставите брейк поинт на имя функции — dummy(). Откомпилировав в debug режиме дадите ее gdb, и он сделат все как надо: при срабатывании брейк поинта вы попадете на начало функции и далее пошагово пойдете вниз:

GNU gdb 6.6
Copyright (C) 2006 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type “show copying” to see the conditions.
There is absolutely no warranty for GDB. Type “show warranty” for details.
This GDB was configured as “i686-pc-linux-gnu”…
Using host libthread_db library “/lib/libthread_db.so.1″.
(gdb) b dummy
Breakpoint 1 at 0×80483e6: file tes.c, line 15.
(gdb) r
Starting program: /space/tmp/aa.out
Breakpoint 1, dummy (str=0×80484c8 “bumsen”, i=6) at tes.c:15
15 int ii = 1;
(gdb) n
17 ii = 1;
(gdb)
18 for (;ii < 12; ii++) {
(gdb)
19 int kk = 0;
(gdb)
18 for (;ii < 12; ii++) {
(gdb)

Казалось бы таким же образом должен повести себя и release режим. А вот фиг! Достаточно добавить -O2 при компиляции и посмотрим, что получится:

GNU gdb 6.6
Copyright (C) 2006 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type “show copying” to see the conditions.
There is absolutely no warranty for GDB. Type “show warranty” for details.
This GDB was configured as “i686-pc-linux-gnu”…
Using host libthread_db library “/lib/libthread_db.so.1″.
(gdb) b dummy
Breakpoint 1 at 0×80483b3: file tes.c, line 23.
(gdb) r
Starting program: /space/tmp/a.out
Breakpoint 1, dummy (str=0×80484d8 “bumsen”, i=6) at tes.c:23
23 }
(gdb)

Не сложно подсчитать, что 23 строка — это конец функции dummy(). И все попытки выяснить значения переменной ii терпят полный крах.