authorgravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2022-02-19 15:08:59-07:00
committergravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2022-02-19 15:11:18-07:00
log8841a71aa675f76c0ff7658339872a5faa5e4d5b
tree21b3dc18b72e6baa1b5230dcae9e32f7eabe781d
parent746435a9549b1dee6d39e73991592a26cdd582ac

AstGen: evaluate `comptime var` init expressions in a comptime context

2 files changed, 16 insertions(+), 2 deletions(-)

lib/std/fmt.zig-1
......@@ -77,7 +77,6 @@ pub fn format(
7777) !void {
7878 const ArgsType = @TypeOf(args);
7979 const args_type_info = @typeInfo(ArgsType);
80 // XXX: meta.trait.is(.Struct)(ArgsType) doesn't seem to work...
8180 if (args_type_info != .Struct) {
8281 @compileError("Expected tuple or struct argument, found " ++ @typeName(ArgsType));
8382 }
src/AstGen.zig+16-1
......@@ -319,6 +319,21 @@ fn reachableExpr(
319319 node: Ast.Node.Index,
320320 reachable_node: Ast.Node.Index,
321321) InnerError!Zir.Inst.Ref {
322 return reachableExprComptime(gz, scope, rl, node, reachable_node, false);
323}
324
325fn reachableExprComptime(
326 gz: *GenZir,
327 scope: *Scope,
328 rl: ResultLoc,
329 node: Ast.Node.Index,
330 reachable_node: Ast.Node.Index,
331 force_comptime: bool,
332) InnerError!Zir.Inst.Ref {
333 const prev_force_comptime = gz.force_comptime;
334 gz.force_comptime = prev_force_comptime or force_comptime;
335 defer gz.force_comptime = prev_force_comptime;
336
322337 const result_inst = try expr(gz, scope, rl, node);
323338 if (gz.refIsNoReturn(result_inst)) {
324339 try gz.astgen.appendErrorNodeNotes(reachable_node, "unreachable code", .{}, &[_]u32{
......@@ -2758,7 +2773,7 @@ fn varDecl(
27582773 resolve_inferred_alloc = alloc;
27592774 break :a .{ .alloc = alloc, .result_loc = .{ .inferred_ptr = alloc } };
27602775 };
2761 _ = try reachableExpr(gz, scope, var_data.result_loc, var_decl.ast.init_node, node);
2776 _ = try reachableExprComptime(gz, scope, var_data.result_loc, var_decl.ast.init_node, node, is_comptime);
27622777 if (resolve_inferred_alloc != .none) {
27632778 _ = try gz.addUnNode(.resolve_inferred_alloc, resolve_inferred_alloc, node);
27642779 }