Compiler assert when passing untyped const to CT macro swtich-case

[NotsoanoNimus]

I was testing a completely unrelated issue and happened to catch this error in the process.

---

⚠️ The compiler encountered an unexpected error: "Violated assert: context->current_block".

- Function: llvm_emit_cond_br(...)
- Source file: ../src/compiler/llvm_codegen_instr.c:16

🙏 Please consider taking the time to file an issue on GitHub (https://github.com/c3lang/c3c/issues/new), so that we can get it fixed.

Repro:

module testing_branch;
import std::io;

faultdef OH_NO;
const C = 1;

fn void main() => do_thing()!!;

fn void? do_thing()
{
    int* a_value = mem::alloc_array(int, 4);
    // Change 'C' below to any integer value and the assert goes away.
    *(int128*)a_value = may_fault(int128, "-123", C)!;
    io::printfn("Value: %d", *a_value);
}

macro may_fault($ArgType, something, $incoming)
{
    $switch $incoming:
        $case 1: return OH_NO?;
        $default: return something.to_integer($ArgType);
    $endswitch
}

[NotsoanoNimus]

A bit of further probing suggests its the fault return, not the constant value being passed, because if I change C in the parameters list to 1 (to match the only case), I still get the same assertion.

[BWindey]

What horrors are you writing o.O

*(int128*)a_value = ...;

:P

[lerno]

Hopefully fixed now, please try it out. It happens because there is a guaranteed jump and some dead code didn't realize it was dead.

[NotsoanoNimus]

What horrors are you writing o.O

(int128)a_value = ...;

:P

With Cthulhu as my guide, a̵̧̨̢̧̨̨̛̛͖̱̟͔̣̩̯̤͚̩̠̯̠͖͔͈̥̤͇̗̣̜̰̜̺͙̗̤͚̖͎͙̹͎̬̝͙͕̹̹͕͓͎̙͙͚͔͇̟͔͕͓͚̭̞̟̤̋̄̅͒͒̇̀̔̉͗̔̏̊̿̊̌̓̈̂̒̍̔͋̍͑̈̄̒́͒͗͋̉̅͋͆̔̀͐͗̏̂͗͐͛̋̋̊̔͆̾̾̎̐̆̎̽̉͐́̿̊͊͋̈́̆̿̄̕̕̕̚͘̚͘̚̚͠ņ̷̧̡̡̢̛̜̳̫̟̲̼̺͚̣̩̥͈͔̹̮̫̪̻͙̹̠̦̯̙̼̹̠͖̱͚͖̳̱̩̱̙͚͓͔̫͕̟̖̗͔̪̦͔̠̗̆̀̓͐̔̈̑͑̀̀̒͌̉̏̿̏̆̄̅͒̾̂̂̔̊̊̊̔̈́̈́̕̕̕̕͝y̵̨̨̛̛̛̻̺̤̺̞̭̠̟̣͇̭͈̱͚̥̜̹͓̠̰͕̹̹͚͕͍̹͖̣̙͖̦̩͕͚͎̲̠͇̼͍̹͓͍͙̙̤̪̳̣̜͓̗̳̳̟͚̾͊͒̉̐̈̓̅̾̊́̓͗͆̀͋̓́̾́̈̊͗̈́́̊̊̅̀͗̍̋̀̄̌͗̿̌̽̓̓̌͋̈́͐͒̔̄͛̊̀̇̈́͂̐͋̽̿̅͆̂́̐͊͒́̚̚͘͜͠͝͝ṫ̵̨̧̨̢̛̪̲̦̱̠̪̘̪̞̗̦̫͍̟̞̠̜̲̦͎̫̫̹͔̯̲̲͚̟̣̗̟̲̤̲̗̜̞͗̀̇̈͋͋̓̑̔̍̆̓́̍̑́̉́̌̑́̊̽̈̈́̍̈̅͋̏̊̽͋̉̈́̈͐̓̈̂̊͆̉͆̀͊͐̀͊̊́̿̈́͗̂̂̒̃̃̑̅͗̾̓͆́̕̕̚͠͝͝͝͝h̸̢̨̨̹̗̗͙̗͇̠͓̻̫̗̜̿̈̒́͛̂̾͆͊͛́̾̏͑̆̕͜͠i̶͕͈̙͔̯̯̬̬͖͍̦̫̽̇́ņ̵̨̰͔̥͚̝̫͚̮̪̞̭͇̺̰͇̺͙̗͙̠̤̯̩̫͚̪̤̺̹̫͙̘̱̺͈͎̒͊͐͗͑̓̀̒̌͑͂̈́͗̄͑͋͗́̔̈́̋̐́͑̄̀̄͊̆̅̍͂̈́̿̄̚͜g̵̢̨̨̡̡͕̦̯̲̩̯͖̜͕͍̮̠̼̥͈̖̤͖̯̹̮̻̦͔̫̤̱̹̙̜͈̟̻̘͉̳̩̘̩̱̪̤͓̹͙̲̣͎̹̙̫̝̙̘͇͔̺͚̺̲͈̯̰̙͔̲̱͍̘͈̻̥̗̅͌̔͂̅͂̅́̋̈́̒̓͘͝͝͠ͅͅ ̴̨̧̡̨̢̢̢̧̨̢̦̘͇̯͎͕̞̖̺̖̳̫̠̬̘̹̮̗̤̰̩͎͔̰̭̲̘̼͎̞̖̰̭̥̥̩̘̲͔̬̫͉̭̹̞̥̫̫͎̦͇͔̮̬̖͔̦͙̥̣́̂͒̿̃́̌̀̽̔͗̾̒̓̈́̑̋̿͆̀̽̈́͗̅̽̌̂̏͂͗̽́̑͆͌͐̌̉̒̉́͐͂͘͘͘͘͘͜͜͜͠͠͝͠͠i̸̧̧̢̡̨̡̧̻͓͈̪̻̟̣̩͉̗̝̙͇̞̝̳̭͓̭͈̘͎̞̝͕͕̺͈͉̪̱͇͙̝͇̮̝͙̜͍̭̥͎̤̥͙͔̠̯͎͙̞̖̦̦͍̬̓̍̀̉̄͐̐̏̈͐͒͑̂́͐̈́̎̚͘̕͝ͅș̵̡̢̧̧̡̨̡̧̯̬̰̣̫̤̭̗̺̙͉͙̗̫͈̼̪̥͖̜̹̯̫̠͉̲̪̩͉̫͎͔̹͕̼͎͉̮̬̠̬͇̮̳̬̱͉͙̀́̈̈́̾͛̈́̄̅͜͜ͅͅ ̴̡̢̨̢̡̛̛̛̛̠̲̠̥̰̼̳̣̭̰̞̰̤͈͇̲̥̺̙̳͆̈́̊̌̿͒̈́͛̋̀͒̌͛͌́͐̔͋́͗̐̓̑̽̊̃̌̅̎̅̿̄͛̿̈̀̆̂̋̈́̓̈́͆̏͑̎̾͐̇͌̕̚͜͝͝͠ͅp̴̢̡̧̟̫̬͓̻͚̣͍̥̳̮̜̳̳̦̩̥͔̲̿̐͒̿̅̑̌̎̆͋̏̈́͊̕͘͠ͅͅo̴̧̡̢̧̢̨̖̦̩̱̮͓̦̺̙̟̫̮͓͔̫͇̼̥͙̝̩͔̤̤̘̳͕͇̖͇͔͈̱͚̜̼̦̩̠̣͍͇̱͚̹̞̩̎̋͒̂̋̎͊̐̄͜͝ş̶̢̨̛̛̫̰̬̳͇̰̳͓͓̣̬͉̹͚̝̜̰͖̠̹̞͇̠̩͎̗̝̺̗̤̘̿̿̈́͑͛̎̀̋̌́̌̊́͗̎̒̊͌̐̀̓̊̎̇̇͛̆̾̔̀͒̈́͌̾͌̀͒͊̑̃̇̿̈́̕͘͘̕͜͜͝͝͝͠ͅͅs̷̨̡̢̧̧̯͚̯̭̣̩̰̞̩̳͎̹̻͇̭͖̻̘͓͑̂̈̒̊̇̎̈́̆̾́͐̓͂̓͘̕ͅi̵̢̡̧̧͕̦̦͎̭͕̱̖̟̻͙̯̝̹̦̪̩̻̳̤̠̠̻̺̞͚̙̞̻̘̲̭̺̫̭͚̖̙̪͕̙̤̲̬̟̲̻̟͖̯̦͔͓̜̲̳̰͚͉̖͋̾͛̾̓̍̍̉͋̍̉̄̀̌̍̍͗͌̃̿͋͋̐͆̊̃̄̎͛͐̄̎̎̽̔̐̉̓̎̇̈́̀̕̚͘͘͜͜͠͝͠ͅͅͅb̶̨̛͈̹͎͉͈̖͓̳̣̣̤̮̪͔̞͖̣͓̰̺̳̱̺̩̍̌̌̀̓͋̇̇͗͗̏͐̃͒̅̓̊̔̔͐̉̈́͋̔̃̐̓́̒̾͌͑̔̿͆̎̂͆́̐͊͂̊̏̉̇̊̅̾̂̀̈̅͂̎̊̀̋̀́͐̈́̄͘̚̕͝͠ͅͅͅl̸̢̡̡̡̢̛̦̳͈̹̬̻̝̭̱̬͚̱͉̗͕̱̖̠̪͓̩͔̪̹̻̖͎͎̱͉̬̺͔̰̪̮̲̗̞̦̺̭̲̜̯̘̱̭̦͙͔͚̟̫͉̭͈̆̋̀͂̾̿͒̏͐̉̇͊̅͂͒̏̅̀̊̕̚͜͜͜ͅę̷̡̢̢̧̧̡̢̢̛̛̰̗̟̲̰̪̫̰̠͕͖͎̼̙̰̱̘̺͎̫̹͍̬͇͈̟͖͍̥͉͈̜̞͖͕͈̯͈̥͈̙̀̊̌͂͊̿̌͂͒̀̎̿͊̆͆̇͐͐̔̉̓̈́̊̐̓̓̋͌͌͐́̿͆̈́̿̋̓̀́̍́͐̒̏͛̾̓̔̄̀̐̄̓̈́̐̍̇͑͋̔́̽́̅͊̈́̇̚͘̕͜͜͜͠͝͝͝͝͝͝͠ 😏

Hopefully fixed now, please try it out. It happens because there is a guaranteed jump and some dead code didn't realize it was dead.

@lerno Compiling the sample code above is now running c3c out of memory and segfaulting, almost crashing my dev server.

[ManuLinares]

Hopefully fixed now, please try it out. It happens because there is a guaranteed jump and some dead code didn't realize it was dead.

@lerno Compiling the sample code above is now running c3c out of memory and segfaulting, almost crashing my dev server.

I had to try this, tested the above code on my archlinux, it coredumped with a 6GB coredump file.