From 9a2b8959535a4b2eeaf10e3b21e57a65c2260e50 Mon Sep 17 00:00:00 2001
From: chrchr <christian.riesch@live.com>
Date: Thu, 11 Jan 2024 12:53:43 +0100
Subject: [PATCH 1/6] Improve support for std::priority_queue

---
 cfg/std.cfg      | 12 ++++++------
 test/cfg/std.cpp | 11 +++++++++++
 2 files changed, 17 insertions(+), 6 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index b32b4cae74a..82f084ec40f 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -6642,7 +6642,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- void std::stack::push( value_type&& value ); // since C++11 -->
   <!-- void std::vector::push_back( const T& value ); -->
   <!-- void std::vector::push_back( T&& value ); // since C++11 -->
-  <function name="std::deque::push_back,std::deque::push_front,std::list::push_back,std::list::push_front,std::forward_list::push_front,std::queue::push,std::stack::push,std::vector::push_back">
+  <function name="std::deque::push_back,std::deque::push_front,std::list::push_back,std::list::push_front,std::forward_list::push_front,std::queue::push,std::priority_queue::push,std::stack::push,std::vector::push_back">
     <noreturn>false</noreturn>
     <returnValue type="void"/>
     <arg nr="1">
@@ -6678,7 +6678,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <not-uninit/>
     </arg>
   </function>
-  <function name="std::deque::emplace_back,std::deque::emplace_front,std::list::emplace_back,std::list::emplace_front,std::forward_list::emplace_front,std::queue::emplace,std::stack::emplace,std::vector::emplace_back,std::vector::emplace_front,std::unordered_set::emplace">
+  <function name="std::deque::emplace_back,std::deque::emplace_front,std::list::emplace_back,std::list::emplace_front,std::forward_list::emplace_front,std::queue::emplace,std::priority_queue::emplace,std::stack::emplace,std::vector::emplace_back,std::vector::emplace_front,std::unordered_set::emplace">
     <noreturn>false</noreturn>
     <arg nr="variadic">
       <not-uninit/>
@@ -6811,10 +6811,10 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <arg nr="1">
     </arg>
   </function>
-  <function name="std::stack::pop,std::queue::pop">
+  <function name="std::stack::pop,std::queue::pop,std::priority_queue::pop">
     <noreturn>false</noreturn>
   </function>
-  <function name="std::stack::top">
+  <function name="std::stack::top,std::priority_queue::top">
     <use-retval/>
     <noreturn>false</noreturn>
   </function>
@@ -8675,7 +8675,7 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
     <size templateParameter="0"/>
     <access indexOperator="array-like"/>
   </container>
-  <container id="stdQueue" startPattern="std :: queue|priority_queue &lt;" inherits="stdContainer">
+  <container id="stdQueue" startPattern="std :: queue &lt;" inherits="stdContainer">
     <access>
       <function name="emplace" action="push" yields="item"/>
       <function name="push" action="push"/>
@@ -8684,7 +8684,7 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
       <function name="back" yields="item"/>
     </access>
   </container>
-  <container id="stdStack" startPattern="std :: stack &lt;" inherits="stdContainer">
+  <container id="stdStack" startPattern="std :: stack|priority_queue &lt;" inherits="stdContainer">
     <access>
       <function name="emplace" action="push" yields="item"/>
       <function name="push" action="push"/>
diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index 28279b77a6f..38bcb2759f5 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -38,6 +38,7 @@
 #include <map>
 #include <memory>
 #include <numeric>
+#include <queue>
 #include <string_view>
 #include <unordered_map>
 #include <unordered_set>
@@ -899,6 +900,16 @@ int std_map_find_constref(std::map<int, int>& m) // #11857
     return ++*p;
 }
 
+void std_queue_front_ignoredReturnValue(const std::queue& q) {
+    // cppcheck-suppress ignoredReturnValue
+    q.front();
+}
+
+void std_priority_queue_top_ignoredReturnValue(const std::priority_queue& pq) {
+    // cppcheck-suppress ignoredReturnValue
+    pq.top();
+}
+
 void valid_code()
 {
     std::vector<int> vecInt{0, 1, 2};

From 071e5c6ad7fa52a391b8104a3ad757af11447901 Mon Sep 17 00:00:00 2001
From: chrchr <christian.riesch@live.com>
Date: Thu, 11 Jan 2024 13:04:53 +0100
Subject: [PATCH 2/6] Fix test

---
 test/cfg/std.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index 38bcb2759f5..aa3529e4146 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -900,12 +900,12 @@ int std_map_find_constref(std::map<int, int>& m) // #11857
     return ++*p;
 }
 
-void std_queue_front_ignoredReturnValue(const std::queue& q) {
+void std_queue_front_ignoredReturnValue(const std::queue<int>& q) {
     // cppcheck-suppress ignoredReturnValue
     q.front();
 }
 
-void std_priority_queue_top_ignoredReturnValue(const std::priority_queue& pq) {
+void std_priority_queue_top_ignoredReturnValue(const std::priority_queue<int>& pq) {
     // cppcheck-suppress ignoredReturnValue
     pq.top();
 }

From 54697a49e2d519ab9f31d2f52f49e1da570bdd66 Mon Sep 17 00:00:00 2001
From: chrchr <christian.riesch@live.com>
Date: Thu, 11 Jan 2024 17:15:44 +0100
Subject: [PATCH 3/6] Add support for std::tie

---
 cfg/std.cfg      |  6 ++++++
 test/cfg/std.cpp | 12 ++++++++++++
 2 files changed, 18 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 82f084ec40f..edb76a1e4e8 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -8587,6 +8587,12 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
     <noreturn>false</noreturn>
     <returnValue type="void *"/>
   </function>
+  <function name="std::tie">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <arg nr="variadic">
+    </arg>
+  </function>
   <memory>
     <alloc init="false" buffer-size="malloc">malloc</alloc>
     <alloc init="true" buffer-size="calloc">calloc</alloc>
diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index aa3529e4146..11ad186eb7b 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -910,6 +910,18 @@ void std_priority_queue_top_ignoredReturnValue(const std::priority_queue<int>& p
     pq.top();
 }
 
+void std_tie_ignoredReturnValue(int a, int b)
+{
+    std::set<int> s;
+    std::set<int>::iterator it;
+    bool b;
+    std::tie(it, b) = s.insert(1);
+    // cppcheck-suppress ignoredReturnValue
+    std::tie();
+    // cppcheck-suppress ignoredReturnValue
+    std::tie(a, b);
+}
+
 void valid_code()
 {
     std::vector<int> vecInt{0, 1, 2};

From e9b0f1953fdb7e7f2c132ccf440db79fa3c873c6 Mon Sep 17 00:00:00 2001
From: chrchr <christian.riesch@live.com>
Date: Thu, 11 Jan 2024 17:17:23 +0100
Subject: [PATCH 4/6] Fix

---
 test/cfg/std.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index 11ad186eb7b..5a5e5a52a2d 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -39,7 +39,9 @@
 #include <memory>
 #include <numeric>
 #include <queue>
+#include <set>
 #include <string_view>
+#include <tuple>
 #include <unordered_map>
 #include <unordered_set>
 #include <utility>

From 6837e8f7a6a391b8faf0e39ed49b3520610242f5 Mon Sep 17 00:00:00 2001
From: chrchr <christian.riesch@live.com>
Date: Thu, 11 Jan 2024 17:28:35 +0100
Subject: [PATCH 5/6] Fix

---
 test/cfg/std.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index 5a5e5a52a2d..d48817a7f31 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -916,8 +916,8 @@ void std_tie_ignoredReturnValue(int a, int b)
 {
     std::set<int> s;
     std::set<int>::iterator it;
-    bool b;
-    std::tie(it, b) = s.insert(1);
+    bool success;
+    std::tie(it, success) = s.insert(1);
     // cppcheck-suppress ignoredReturnValue
     std::tie();
     // cppcheck-suppress ignoredReturnValue

From 06a14f8fb57d47710380c85a060e0215e7e32d22 Mon Sep 17 00:00:00 2001
From: chrchr <christian.riesch@live.com>
Date: Thu, 11 Jan 2024 19:46:10 +0100
Subject: [PATCH 6/6] Add support for std::exception::what etc.

---
 cfg/std.cfg      | 5 +++++
 test/cfg/std.cpp | 7 +++++++
 2 files changed, 12 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index edb76a1e4e8..753cd006ae1 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -8593,6 +8593,11 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
     <arg nr="variadic">
     </arg>
   </function>
+  <function name="std::exception::what,std::logic_error::what,std::invalid_argument::what,std::domain_error::what,std::length_error::what,std::out_of_range::what,std::future_error::what,std::runtime_error::what,std::range_error::what,std::overflow_error::what,std::underflow_error::what,std::regex_error::what,std::system_error::what,std::ios_base::failure::what,std::filesystem::filesystem_error::what,std::nonexistent_local_time::what,std::ambiguous_local_time::what,std::format_error::what,std::bad_typeid::what,std::bad_cast::what,std::bad_any_cast::what,std::bad_optional_access::what,std::bad_expected_access::what,std::bad_weak_ptr::what,std::bad_function_call::what,std::bad_alloc::what,std::bad_array_new_length::what,std::bad_exception::what,std::ios_base::failure::what,std::bad_variant_access::what">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <returnValue type="const char *"/>
+  </function>
   <memory>
     <alloc init="false" buffer-size="malloc">malloc</alloc>
     <alloc init="true" buffer-size="calloc">calloc</alloc>
diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index d48817a7f31..1d2c17e8de6 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -25,6 +25,7 @@
 #define __STDC_WANT_LIB_EXT1__ 1
 #include <ctime>
 #include <cwchar>
+#include <exception>
 #include <fstream>
 #include <functional>
 #ifndef __STDC_NO_THREADS__
@@ -924,6 +925,12 @@ void std_tie_ignoredReturnValue(int a, int b)
     std::tie(a, b);
 }
 
+void std_exception_ignoredReturnValue(const std::exception& e)
+{
+    // cppcheck-suppress ignoredReturnValue
+    e.what();
+}
+
 void valid_code()
 {
     std::vector<int> vecInt{0, 1, 2};