Project

General

Profile

Actions

Bug #8578

open

Моделирование escape char '\e'

Added by Denis Efremov about 7 years ago. Updated about 7 years ago.

Status:
New
Priority:
Normal
Start date:
11/17/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Описание TBD.


Files

unescape.c (2.56 KB) unescape.c Марина Петропавловских, 11/22/2017 11:02 AM
Actions #1

Updated by Марина Петропавловских about 7 years ago

В приложенном файле две почти одинаковые функции с одинаковыми спецификациями, но unescape_space доказывается полностью, а в unescape_special не доказывается behavior связанный с попаданием на случай *q = 'e', что скорее всего значит, что инструмент некорректно обрабатывает '\e'.

Actions #2

Updated by Alexey Khoroshilov about 7 years ago

Это расширение gcc, которое пока не поддерживается:
https://gcc.gnu.org/onlinedocs/gcc-4.8.2/gcc/Character-Escapes.html#Character-Escapes

Actions

Also available in: Atom PDF