Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#41 BE. Баг с верификацией

open
Backend (20)
5
2009-04-02
2009-04-02
Dmitry
No

Давайте до конца разберемся с промером xo.c. (тот файл, что сейчас лежит в svn с исправленными bool).

Если на него запустить -verify, то кажется, что он нормально верифицируется (никаких ошибок в файл не записывается).

Однако, никакие другие команды после не работают (например -dump, -callgraph). Происходит это из-за того, что на самом деле, верифай успешно не закончился и дерево не создалось. Остается вопрос: почему ошибки не вывелись в файл?

Более того, если в конце ввести команду -q то потерянная ошибка появится, но почему-то на экране.

Видимо где-то ошибки во время верификации записываются не в файл, а выводтся на экран. Постарайтесь найти это место и исправить.

Discussion

  • Eduard Baranov
    Eduard Baranov
    2009-04-05

    поменял файл.
    там надо было исправить ещё несколько ошибок.
    теперь всё работает.
    почему не пишется в errorы ещё не разобрался

     
  • Eduard Baranov
    Eduard Baranov
    2009-04-05

    странно, но теперь старая версия выдаёт ошибку в файле error как и должно быть

     
  • Dmitry
    Dmitry
    2009-04-06

    взял последнюю версию BE, скомпилировал, запустил на xo.c (см. аттач) - все то же самое. ошибка не появляется в файле, но в конце по команде -q вываливается на экран.
    нужно не выяснить как поправить сишный исходник, чтобы не падало, а выяснить почему падает.

     
  • Dmitry
    Dmitry
    2009-04-06

     
    Attachments
  • Dmitry
    Dmitry
    2009-05-08

    договорились проделать следующее:

    1. выяснить какие из последних изменений в свне фиксят ошибку (если это вообще так)

    2. научиться все таки выводить ошибку в файл (нужно поискать где ловится исключение)

    3. понять что же за магический ворнинг, которого нигде нет

     
  • Eduard Baranov
    Eduard Baranov
    2009-05-08

    последние изменения не фиксят, а пропускают ошибку
    код, на который gcc выдаёт ошибку, в creenе считается верным

     
  • Dmitry
    Dmitry
    2009-05-08

    не понял. какие такие изменения пропускают ошибку? вероятно это не правильно или как?

     
  • после последних изменений такая ошибка в коде
    не выводится никуда: ни в файл ни на экран, а должна

     
  • Dmitry
    Dmitry
    2009-05-08

    окей, надо понять почему

     
  • Dmitry
    Dmitry
    2009-07-17

    напишите, что сейчас известно по этому поводу