--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on May 2020 ---
[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