diff --git a/src/AstGen.zig b/src/AstGen.zig index 1a8309ac2b..009d05e5ed 100644 --- a/src/AstGen.zig +++ b/src/AstGen.zig @@ -8551,11 +8551,18 @@ fn shiftOp( rhs_node: Ast.Node.Index, tag: Zir.Inst.Tag, ) InnerError!Zir.Inst.Ref { + var line = gz.astgen.source_line - gz.decl_line; + var column = gz.astgen.source_column; const lhs = try expr(gz, scope, .{ .rl = .none }, lhs_node); - maybeAdvanceSourceCursorToMainToken(gz, node); - const line = gz.astgen.source_line - gz.decl_line; - const column = gz.astgen.source_column; + switch (gz.astgen.tree.nodes.items(.tag)[node]) { + .shl, .shr => { + maybeAdvanceSourceCursorToMainToken(gz, node); + line = gz.astgen.source_line - gz.decl_line; + column = gz.astgen.source_column; + }, + else => {}, + } const log2_int_type = try gz.addUnNode(.typeof_log2_int_type, lhs, lhs_node); const rhs = try expr(gz, scope, .{ .rl = .{ .ty = log2_int_type }, .ctx = .shift_op }, rhs_node); diff --git a/test/behavior.zig b/test/behavior.zig index 04c6d4c13d..4e959fcf7d 100644 --- a/test/behavior.zig +++ b/test/behavior.zig @@ -117,6 +117,7 @@ test { _ = @import("behavior/bugs/13285.zig"); _ = @import("behavior/bugs/13435.zig"); _ = @import("behavior/bugs/13664.zig"); + _ = @import("behavior/bugs/13714.zig"); _ = @import("behavior/byteswap.zig"); _ = @import("behavior/byval_arg_var.zig"); _ = @import("behavior/call.zig"); diff --git a/test/behavior/bugs/13714.zig b/test/behavior/bugs/13714.zig new file mode 100644 index 0000000000..f11dac3676 --- /dev/null +++ b/test/behavior/bugs/13714.zig @@ -0,0 +1,4 @@ +comptime { + var image: [1]u8 = undefined; + _ = @shlExact(@as(u16, image[0]), 8); +}