diff options
Diffstat (limited to 'src/type-checker.cc')
-rw-r--r-- | src/type-checker.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/type-checker.cc b/src/type-checker.cc index b6c02be4..4ffdee8c 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -369,6 +369,10 @@ Result TypeChecker::OnAtomicWait(Opcode opcode) { return CheckOpcode3(opcode); } +Result TypeChecker::OnAtomicFence(uint32_t consistency_model) { + return Result::Ok; +} + Result TypeChecker::OnAtomicNotify(Opcode opcode) { return CheckOpcode2(opcode); } |