diff options
| author | gingerBill <bill@gingerbill.org> | 2021-04-27 16:55:39 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-04-27 16:55:39 +0100 |
| commit | 24f2d97c0ee48eead850c6a9365748d8ba5c172e (patch) | |
| tree | 132626de3b482716068659dad2c7c6ac35d21c77 /src/check_builtin.cpp | |
| parent | f6d98d2a16e99744b8025a52ac3e5a7fc53a6e20 (diff) | |
Make atomic compare related intrinsics optional ok
Diffstat (limited to 'src/check_builtin.cpp')
| -rw-r--r-- | src/check_builtin.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/check_builtin.cpp b/src/check_builtin.cpp index 00963487f..898239234 100644 --- a/src/check_builtin.cpp +++ b/src/check_builtin.cpp @@ -2017,8 +2017,8 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 } } - operand->mode = Addressing_Value; - operand->type = make_optional_ok_type(default_type(x.type), false); // Just reusing this procedure, it's not optional + operand->mode = Addressing_OptionalOk; + operand->type = default_type(x.type); } break; @@ -2149,8 +2149,8 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 check_assignment(c, &x, elem, builtin_name); check_assignment(c, &y, elem, builtin_name); - operand->mode = Addressing_Value; - operand->type = make_optional_ok_type(elem, /*typed*/false); + operand->mode = Addressing_OptionalOk; + operand->type = elem; break; } break; |