Actions
Bug #8578
openМоделирование escape char '\e'
Start date:
11/17/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Описание TBD.
Files
Actions
Added by Denis Efremov over 6 years ago. Updated over 6 years ago.
0%
Description
Описание TBD.
Files
| unescape.c (2.56 KB) unescape.c | Марина Петропавловских, 11/22/2017 11:02 AM |
В приложенном файле две почти одинаковые функции с одинаковыми спецификациями, но unescape_space доказывается полностью, а в unescape_special не доказывается behavior связанный с попаданием на случай *q = 'e', что скорее всего значит, что инструмент некорректно обрабатывает '\e'.
Это расширение gcc, которое пока не поддерживается:
https://gcc.gnu.org/onlinedocs/gcc-4.8.2/gcc/Character-Escapes.html#Character-Escapes