From 5c9b3abfda3bb2331c9d1589a73ce9289071c60e Mon Sep 17 00:00:00 2001
From: Alex Guteniev <gutenev@gmail.com>
Date: Thu, 27 Jul 2023 22:25:27 +0300
Subject: [PATCH] Justify `terminate()` calls

Towards #3888
---
 stl/inc/exception | 2 +-
 stl/inc/thread    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/stl/inc/exception b/stl/inc/exception
index 69e74ef7fc..16b5fac54b 100644
--- a/stl/inc/exception
+++ b/stl/inc/exception
@@ -343,7 +343,7 @@ public:
         if (_Exc) {
             _STD rethrow_exception(_Exc);
         } else {
-            _STD terminate();
+            _STD terminate(); // per N4950 [except.nested]/4
         }
     }
 
diff --git a/stl/inc/thread b/stl/inc/thread
index 17d0e8509d..41a5f4aeb0 100644
--- a/stl/inc/thread
+++ b/stl/inc/thread
@@ -89,7 +89,7 @@ public:
 
     ~thread() noexcept {
         if (joinable()) {
-            _STD terminate();
+            _STD terminate(); // per N4950 [thread.thread.destr]/1
         }
     }
 
@@ -97,7 +97,7 @@ public:
 
     thread& operator=(thread&& _Other) noexcept {
         if (joinable()) {
-            _STD terminate();
+            _STD terminate(); // per N4950 [thread.thread.assign]/1
         }
 
         _Thr = _STD exchange(_Other._Thr, {});