Menu
▾
▴
#41 BE. Баг с верификацией
Давайте до конца разберемся с промером xo.c. (тот файл, что сейчас лежит в svn с исправленными bool).
Если на него запустить -verify, то кажется, что он нормально верифицируется (никаких ошибок в файл не записывается).
Однако, никакие другие команды после не работают (например -dump, -callgraph). Происходит это из-за того, что на самом деле, верифай успешно не закончился и дерево не создалось. Остается вопрос: почему ошибки не вывелись в файл?
Более того, если в конце ввести команду -q то потерянная ошибка появится, но почему-то на экране.
Видимо где-то ошибки во время верификации записываются не в файл, а выводтся на экран. Постарайтесь найти это место и исправить.
поменял файл.
там надо было исправить ещё несколько ошибок.
теперь всё работает.
почему не пишется в errorы ещё не разобрался
странно, но теперь старая версия выдаёт ошибку в файле error как и должно быть
взял последнюю версию BE, скомпилировал, запустил на xo.c (см. аттач) - все то же самое. ошибка не появляется в файле, но в конце по команде -q вываливается на экран.
нужно не выяснить как поправить сишный исходник, чтобы не падало, а выяснить почему падает.
договорились проделать следующее:
1. выяснить какие из последних изменений в свне фиксят ошибку (если это вообще так)
2. научиться все таки выводить ошибку в файл (нужно поискать где ловится исключение)
3. понять что же за магический ворнинг, которого нигде нет
последние изменения не фиксят, а пропускают ошибку
код, на который gcc выдаёт ошибку, в creenе считается верным
не понял. какие такие изменения пропускают ошибку? вероятно это не правильно или как?
после последних изменений такая ошибка в коде
не выводится никуда: ни в файл ни на экран, а должна
окей, надо понять почему
напишите, что сейчас известно по этому поводу