$typeof(*x) should be valid when x is an [out] parameter #1226

c3lang · Jul 4, 2024 · 85a535d · 85a535d
1 parent ab626fe
commit 85a535d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/releasenotes.md b/releasenotes.md
@@ -29,7 +29,8 @@
 - Fix to scalar -> vector conversions.
 - Bug fix for rethrow + defer catch. 
 - Wrong size for structs containing overaligned structs #1219
-
+- $typeof(*x) should be valid when x is an `[out]` parameter #1226
+
 ### Stdlib changes
 - Added `remove_first_item` `remove_last_item` and `remove_item` as aliases for the `match` functions.
 - Added @str_hash, @str_upper, @str_lower, @str_find compile time macros.

diff --git a/src/compiler/sema_types.c b/src/compiler/sema_types.c
@@ -307,7 +307,7 @@ INLINE bool sema_resolve_evaltype(SemaContext *context, TypeInfo *type_info, Res
 INLINE bool sema_resolve_typeof(SemaContext *context, TypeInfo *type_info)
 {
 	Expr *expr = type_info->unresolved_type_expr;
-	if (!sema_analyse_expr(context, expr)) return false;
+	if (!sema_analyse_expr_lvalue_fold_const(context, expr)) return false;
 	Type *expr_type = expr->type;
 	switch (type_storage_type(expr->type))
 	{