authorgravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2022-03-03 13:11:06-07:00
committergravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2022-03-03 13:11:06-07:00
log365aca0e9096ef7c69b3ba2eb682caf3f7234293
treee86a89067a08d9c14d01334b4f054b51637afdb8
parent85610a9aff70b3ef77ae63289f8adde1ce5cac37

Sema: allow pointers to opaques to be aligned

1 files changed, 3 insertions(+), 5 deletions(-)

src/type.zig+3-5
...@@ -2245,6 +2245,7 @@ pub const Type = extern union {...@@ -2245,6 +2245,7 @@ pub const Type = extern union {
2245 .prefetch_options,2245 .prefetch_options,
2246 .export_options,2246 .export_options,
2247 .extern_options,2247 .extern_options,
2248 .@"opaque",
2248 => return 1,2249 => return 1,
22492250
2250 .fn_noreturn_no_args, // represents machine code; not a pointer2251 .fn_noreturn_no_args, // represents machine code; not a pointer
...@@ -2432,7 +2433,6 @@ pub const Type = extern union {...@@ -2432,7 +2433,6 @@ pub const Type = extern union {
2432 .noreturn,2433 .noreturn,
2433 .inferred_alloc_const,2434 .inferred_alloc_const,
2434 .inferred_alloc_mut,2435 .inferred_alloc_mut,
2435 .@"opaque",
2436 .var_args_param,2436 .var_args_param,
2437 .bound_fn,2437 .bound_fn,
2438 => unreachable,2438 => unreachable,
...@@ -5287,10 +5287,8 @@ pub const Type = extern union {...@@ -5287,10 +5287,8 @@ pub const Type = extern union {
5287 // type, we change it to 0 here. If this causes an assertion trip because the5287 // type, we change it to 0 here. If this causes an assertion trip because the
5288 // pointee type needs to be resolved more, that needs to be done before calling5288 // pointee type needs to be resolved more, that needs to be done before calling
5289 // this ptr() function.5289 // this ptr() function.
5290 if (d.@"align" != 0) {5290 if (d.@"align" != 0 and d.@"align" == d.pointee_type.abiAlignment(target)) {
5291 if (d.pointee_type.zigTypeTag() == .Opaque or d.@"align" == d.pointee_type.abiAlignment(target)) {5291 d.@"align" = 0;
5292 d.@"align" = 0;
5293 }
5294 }5292 }
52955293
5296 // Canonicalize host_size. If it matches the bit size of the pointee type,5294 // Canonicalize host_size. If it matches the bit size of the pointee type,