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