From e97d6b4a97a92ed5c0952d21b7e94cfd3c035c13 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Tue, 5 Jun 2018 17:29:45 +0100 Subject: [PATCH] kernel: add missing IntrReturning check to IntrNot --- src/intrprtr.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/intrprtr.c b/src/intrprtr.c index b916ccd463..41ec9885d8 100644 --- a/src/intrprtr.c +++ b/src/intrprtr.c @@ -1375,8 +1375,9 @@ void IntrNot ( void ) Obj op; /* operand */ /* ignore or code */ - if ( STATE(IntrIgnoring) > 0 ) { return; } - if ( STATE(IntrCoding) > 0 ) { CodeNot(); return; } + if ( STATE(IntrReturning) > 0 ) { return; } + if ( STATE(IntrIgnoring) > 0 ) { return; } + if ( STATE(IntrCoding) > 0 ) { CodeNot(); return; } /* get and check the operand */