Is there a way to implement __builtin_types_compatible_p

[duanwujie]

we want to inplement c parser for this code:

int main()
{
    __builtin_types_compatible_p(int,int);
}

[kevinmehall]

What specifically is the problem when implementing this?

Since it takes types rather than value expressions as arguments, you'd need to have a specialized parse rule and AST node type for this, but it should be doable.

[duanwujie]

Here is my grammar :

types_compatible_p_expression -> Expression =
    n:node<types_compatible_p_expression_inner> { Expression::TypesCompatible(Box::new(n)) }
types_compatible_p_expression_inner -> TypesCompatibleExpression =
    K<"__builtin_types_compatible_p"> _ "(" _ t1:type_name _ "," _ t2:type_name _ ")" {
            type_name1: t1,
            type_name2: t2,

the __parse_types_compatible_p_expression which generated, will raise SyntaxError:

SyntaxError(SyntaxError { source: "# 0 \"a.c\"\n# 0 \"<built-in>\"\n# 0 \"<command-line>\"\n# 1 \"/usr/include/stdc-predef.h\" 1 3 4\n# 0 \"<command-line>\" 2\n# 1 \"a.c\"\n\nint main()\n{\n    __builtin_types_compatible_p(int,int);\n}\n", line: 10, column: 37, offset: 170, expected: {"[_a-zA-Z0-9]", "identifier"} })