Jonathan Protzenko

icon indicating a website link https://jonathan.protzenko.fr

icon company Microsoft icon location Redmond, WA icon location This is my professional GitHub account to record my contributions with my @Microsoft (MS) employee hat on. My open-source work is done with the @protz hat on

Results 92 issues of Jonathan Protzenko

Bug: comments are retained twice in the LLBC AST

See https://github.com/AeneasVerif/eurydice/pull/238#issue-3237527798 -- if you look at https://github.com/AeneasVerif/symcrust/blob/68a3089dc215c62e0e6dcf3a6ddba2843bf119a6/c/symcrust_mlkem.c#L379-L383 there is a duplicated comment. This comment appears twice in the LLBC AST (not a Eurydice issue). Looking at the source here...

C-bug

-fparentheses should parenthesize & and >>

The -fparentheses option already adds extra parentheses for the sake of readability. We should probably add some logic to also parenthesize & and >> as well. Reported by @samuel-lee-msft