Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C not parsing unicode.



Hello,

Le 18/05/2020 à 19:57, Juan Carrano a écrit :
> $ frama-c -wp u.c
> 
> [kernel] Parsing u.c (with preprocessing)
> [kernel:annot-error] u.c:3: Warning:
>    no such type \U0000211d. Ignoring global annotation
> [kernel] User Error: warning annot-error treated as fatal error.
> [kernel] User Error: stopping on file "u.c" that has errors. Add
> '-kernel-msg-key pp'
>    for preprocessing command.
> [kernel] Frama-C aborted: invalid user input.
> 
> The file (minimal example) is:
> 
> $cat u.c
> 
> /*@
>   logic ℝ v = 5.0;
> */
> 
> The '\U0000211d' refers to the "real" symbol.
> 
> Last time I used frama was several months ago, and it was working
> fine- that's why I suspect my setup. The issue happens with both
> version 18 and 20.
> 
> Of course, I could rewrite my files to get rid of the unicode, but I'd
> rather avoid that.
> 
Are by any chance using the latest Fedora and/or gcc 10 as a pre-processor: 
this version has changed the way it handles unicode character, and this has 
an impact on the usage of UTF-8 symbols in ACSL. Normally, this is fixed in 
the 21-beta Scandium release that was announced today.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile