]> Nishi Git Mirror - gwion.git/commitdiff
:bug: Fix annotations
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 12 Mar 2020 18:17:07 +0000 (19:17 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 12 Mar 2020 18:17:07 +0000 (19:17 +0100)
src/parse/operator.c

index 723fa8b554ceb01eb6290267aed8328c2e059def..85a87c1c459284c4c99334e6114196ff22b24e91 100644 (file)
@@ -260,7 +260,7 @@ ANN static inline Nspc ensure_nspc(SymTable *st, const struct Op_Import* opi) {
   return nspc;
 }
 
-ANN void op_emit_nonnull(const Emitter emit, const Type mo, const Type opi, const m_uint offset) {
+ANN2(1) void op_emit_nonnull(const Emitter emit, const Type mo, const Type opi, const m_uint offset) {
   if(!mo || mo == OP_ANY_TYPE)
     return;
   if(GET_FLAG(mo, nonnull) && !GET_FLAG(opi, nonnull)) {