Compiler emits error "Violated assert: be_value->type->canonical == type"

[leon332157]

While compiling my code I get this error emitted:

 The compiler encountered an unexpected error: "Violated assert: be_value->type->canonical == type".

- Function: llvm_emit_parameter(...)
- Source file: /home/leon3/.cache/yay/c3c-git/src/c3c/src/compiler/llvm_codegen_expr.c:5458

🙏 Please consider taking the time to file an issue on GitHub, so that we can get it fixed:

https://github.com/c3lang/c3c/issues/new so that we can get it fixed.

I have provided a minimal code sample that would trigger this issue:

extern fn CInt execvp(CChar* file, CChar*[] argv);

fn int main(String[] args)
{
    ZString[] argv = {"ls", "-l", "-a"};
    execvp((CChar*)"ls", (CChar*[])argv);
    return 0;
}

[lerno]

This should work now.

[lerno]

However, note that the code you probably want is:

extern fn CInt execvp(CChar* file, CChar** argv);

fn int main(String[] args)
{
    ZString[] argv = {"ls", "-l", "-a"};
    execvp((CChar*)"ls", (CChar**)argv);
    return 0;
}

Or even better, replace CChar* by ZString

extern fn CInt execvp(ZString file, ZString* argv);

fn int main(String[] args)
{
    ZString[] argv = {"ls", "-l", "-a"};
    execvp("ls", argv);
    return 0;
}

[leon332157]

Tested working on latest commit