0002382: handling of escape sequences - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002382

Frama-C

Kernel

public

2018-07-03 15:04

2019-06-04 18:24

Reporter

evdenis

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

Frama-C 18-Argon

Summary

0002382: handling of escape sequences

Description

Code:

/*@
   predicate isspace(integer c)  = c == ' '  || c == '\f' || c == '\n' ||
                                                       c == '\r' || c == '\t' || c == '\v';
 */

Error:

[kernel] Parsing test.h (with preprocessing)
test.h:2:[kernel] failure: Unknown error (File "src/kernel_internals/parsing/logic_lexer.mll", 
line 390, characters 20-26: Assertion failed)

Need to support '\v'.

Tags

No tags attached.

Attached Files

escape_sequences.c [^] (154 bytes) 2018-07-04 09:15 [Show Content] [Hide Content]

/*@
   predicate isspace(integer c)  = c == ' '  || c == '\f' || c == '\n' ||
                                   c == '\r' || c == '\t' || c == '\v';
 */

Relationships

Notes
(0006567) evdenis (reporter) 2018-07-04 09:14	Found in version: Chlorine-20180501

(0006574) virgile (developer) 2018-07-10 17:04	Fixed in some development branch. Most likely part of Frama-C Argon

Issue History
Date Modified	Username	Field	Change
2018-07-03 15:04	evdenis	New Issue
2018-07-04 09:14	evdenis	Note Added: 0006567
2018-07-04 09:15	evdenis	File Added: escape_sequences.c
2018-07-04 16:55	yakobowski	Assigned To	=> virgile
2018-07-04 16:55	yakobowski	Status	new => assigned
2018-07-10 17:04	virgile	Note Added: 0006574
2019-06-04 18:24	virgile	Status	assigned => resolved
2019-06-04 18:24	virgile	Resolution	open => fixed
2019-06-04 18:24	virgile	Fixed in Version	=> Frama-C 18-Argon