https://git.reactos.org/?p=reactos.git;a=commitdiff;h=3051eb0e48c0b8a122529…
commit 3051eb0e48c0b8a1225296787e9825e6e71625b7
Author:     Serge Gautherie <32623169+SergeGautherie(a)users.noreply.github.com>
AuthorDate: Sat Jun 6 17:50:14 2020 +0200
Commit:     GitHub <noreply(a)github.com>
CommitDate: Sat Jun 6 17:50:14 2020 +0200
    [NTOSKRNL] Add 'DECLSPEC_NORETURN' to a few 'KeBugCheck*()' (#2896)
---
 boot/environ/lib/misc/rtlcompat.c | 1 +
 ntoskrnl/ke/bug.c                 | 3 +++
 sdk/lib/cmlib/cmlib.h             | 1 +
 sdk/tools/mkhive/rtl.c            | 2 +-
 4 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/boot/environ/lib/misc/rtlcompat.c b/boot/environ/lib/misc/rtlcompat.c
index 6f0c7bf7c0b..cdb516b4a89 100644
--- a/boot/environ/lib/misc/rtlcompat.c
+++ b/boot/environ/lib/misc/rtlcompat.c
@@ -102,6 +102,7 @@ DbgPrint (
     return 0;
 }
+// FIXME: DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheckEx(
diff --git a/ntoskrnl/ke/bug.c b/ntoskrnl/ke/bug.c
index 8b9f020a10f..5d5a4a7e2d4 100644
--- a/ntoskrnl/ke/bug.c
+++ b/ntoskrnl/ke/bug.c
@@ -706,6 +706,7 @@ KiDisplayBlueScreen(IN ULONG MessageId,
     }
 }
+DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheckWithTf(IN ULONG BugCheckCode,
@@ -1403,6 +1404,7 @@ KeDeregisterNmiCallback(IN PVOID Handle)
 /*
  * @implemented
  */
+DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheckEx(IN ULONG BugCheckCode,
@@ -1423,6 +1425,7 @@ KeBugCheckEx(IN ULONG BugCheckCode,
 /*
  * @implemented
  */
+DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheck(ULONG BugCheckCode)
diff --git a/sdk/lib/cmlib/cmlib.h b/sdk/lib/cmlib/cmlib.h
index b9431c750b6..6755ac3ccf0 100644
--- a/sdk/lib/cmlib/cmlib.h
+++ b/sdk/lib/cmlib/cmlib.h
@@ -81,6 +81,7 @@
         IN PCUNICODE_STRING String2,
         IN BOOLEAN CaseInSensitive);
+    // FIXME: DECLSPEC_NORETURN
     VOID
     NTAPI
     KeBugCheckEx(
diff --git a/sdk/tools/mkhive/rtl.c b/sdk/tools/mkhive/rtl.c
index c7979afc6a0..1f044d31761 100644
--- a/sdk/tools/mkhive/rtl.c
+++ b/sdk/tools/mkhive/rtl.c
@@ -155,7 +155,7 @@ RtlAssert(IN PVOID FailedAssertion,
     //DbgBreakPoint();
 }
-// DECLSPEC_NORETURN
+// FIXME: DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheckEx(