Retriever's blog

C2Rust 的log的Transpiling的 up and below, what's the meaning?

Retriever's photo
Retriever
·

3 min read

Transpiling platform.c


                                                                                                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/kali/hypervisor/bfdriver/src/platform/linux/platform.c:15753:32: warning: c2rust: Encountered unsupported generic selection expression
 return do_read_seqcount_retry(_Generic(*(&s->seqcount), seqcount_t: __seqprop_ptr((void *)(&s->seqcount)), seqcount_raw_spinlock_t: __seqprop_raw_spinlock_ptr((void *)((&s->seqcount))), seqcount_spinlock_t: __seqprop_spinlock_ptr((void *)((&s->seqcount))), seqcount_rwlock_t: __seqprop_rwlock_ptr((void *)((&s->seqcount))), seqcount_mutex_t: __seqprop_mutex_ptr((void *)((&s->seqcount)))), start);
                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1368 warnings generated.
Transpiling platform.c
^[[33mwarning:^[[0m Missing type 94902234019632 for node: AstNode { tag: TagImplicitCastExpr, children: [Some(94902239697200)], loc: SrcSpan { fileid: 1, begin_line: 23255, begin_column: 635, end_line: 23255, end_column: 635 }, type_id: Some(94902234019632), rvalue: RValue, macro_expansions: [], macro_expansion_text: None, extras: [Text("LValueToRValue")] }
Exported Clang AST was invalid. Check warnings above for unimplemented features.
--> /home/kali/hypervisor/bfdriver/src/platform/linux/platform.c:23255:635

The log output you've pasted contains different parts from a C2Rust conversion process. Let's break them down:

  1. C Warnings: This part includes the warning messages produced by the C compiler during the compilation of your C code (platform.c). One of the warning messages is related to an unsupported generic selection expression that C2Rust cannot handle. Generic selection is a feature in C that allows the program to behave differently depending on the type of an expression. Unfortunately, Rust doesn't have a direct equivalent of this feature, and C2Rust does not support translating it.

    /home/kali/hypervisor/bfdriver/src/platform/linux/platform.c:15753:32: warning: c2rust: Encountered unsupported generic selection expression

  2. Warnings Generated: This line indicates that a total of 1368 warning messages were generated during the compilation process.

    1368 warnings generated.

  3. Transpiling platform.c: This is the line that represents the start of the C2Rust transpiling process.

    Transpiling platform.c

C2Rust overview

  1. Transpile Warning: This part contains the warnings produced by C2Rust during the transpilation process. The warning says that a type (identified by a unique identifier) for a certain AST node (Abstract Syntax Tree node, a part of a program in compiler theory) is missing. This can happen if there's a feature in the C code that C2Rust does not support, or if there's a bug in C2Rust.

    ^[[33mwarning:^[[0m Missing type 94902234019632 for node: AstNode { tag: TagImplicitCastExpr, children: [Some(94902239697200)], loc: SrcSpan { fileid: 1, begin_line: 23255, begin_column: 635, end_line: 23255, end_column: 635 }, type_id: Some(94902234019632), rvalue: RValue, macro_expansions: [], macro_expansion_text: None, extras: [Text("LValueToRValue")] }

  2. Export Error: This line states that the exported Clang AST was invalid, likely due to the issues warned about previously.

    Exported Clang AST was invalid. Check warnings above for unimplemented features.

  3. Error Location: This line points to the location in the original C file where the problem occurred.

    --> /home/kali/hypervisor/bfdriver/src/platform/linux/platform.c:23255:635

In order to fix the issues, you would have to modify the original C code to remove the unsupported features and/or bugs causing these warnings and errors, and then try the transpilation process again. If you're not sure how to do this, you may need to ask for help from a developer with experience in both C and Rust programming.

Rust