shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 03:51:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixed regression compiler crash when using && for untyped parameters #2197.

Browse Source
This commit is contained in:
Christoffer Lerno
2025-06-10 16:26:08 +02:00
parent bbd9f6dc96
commit 1aacb1fa60
2 changed files with 19 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/compiler/sema_expr.c
View File

@@ -11094,7 +11094,7 @@ RETRY:
if (!sema_expr_analyse_ct_arg(context, to, expr)) return expr_poison(expr);
break;
case EXPR_UNARY:
if (expr->unary_expr.operator == UNARYOP_TADDR && to->canonical->type_kind == TYPE_POINTER && to->canonical != type_voidptr)
if (to && expr->unary_expr.operator == UNARYOP_TADDR && to->canonical->type_kind == TYPE_POINTER && to->canonical != type_voidptr)
{
if (!sema_analyse_inferred_expr(context, type_get_indexed_type(to), expr->unary_expr.expr)) return expr_poison(expr);
}

18
test/test_suite/macros/untyped_arg_inference.c3t Normal file
View File

@@ -0,0 +1,18 @@
// #target: macos-x64
module test;
macro foo(x) { return x; }
fn void main()
{
int* x = foo(&&1);
}
/* #expect: test.ll
define void @test.main() #0 {
entry:
%x = alloca ptr, align 8
%taddr = alloca i32, align 4
store i32 1, ptr %taddr, align 4
store ptr %taddr, ptr %x, align 8
ret void
}