[Comm] gcc: странности с оптимизацией

[Denis G. Samsonenko]

Добрый день!

Хотел бы спросить у специалистов по GCC.

Я собираю одну прогу, написанную на фортране. Если я её собираю с
ключом -O0, то она работает после этого нормально. Если же я собираю
её хотя бы с -O1, то она падает с сообщением "*** buffer overflow
detected ***".

Попытался разобраться, какая именно оптимизация приводит к такому
поведению. На сколько я смог выяснить, разница между -O0 и -O1 состоит
с следующем (выяснял при помощи запуска g77 -O1 -Q --help=optimizers,
а так же добавлением -S -fverbose-asm при компиляции и анализом шапки
в получающемся *.s):

-fcprop-registers
-fdefer-pop
-fforward-propagate
-fguess-branch-probability
-fif-conversion
-fif-conversion2
-finline
-fipa-pure-const
-fipa-reference
-fmerge-constants
-fsplit-wide-types
-ftoplevel-reorder
-ftree-ccp
-ftree-ch
-ftree-copy-prop
-ftree-copyrename
-ftree-dce
-ftree-dominator-opts
-ftree-dse
-ftree-fre
-ftree-sink
-ftree-sra
-ftree-ter
-fvar-tracking
-fvar-tracking-assignments

Однако сборка с -O0 с добавленными выше перечисленных опций приводит
бинарнику, отличному от получаемого при сборке с ключом -O1. При этом
получающийся бинарник не падает.

Получается, использование -O0 с выше перечисленными опциями не
идентично использованию -O1. Что ещё такого делает -O1 и как это
узнать и отключить?

-- 
Всего доброго,

Денис.