Merge branch 'main' into chr_15016

Author: chrchr-github

.selfcheck_suppressions

@@ -75,8 +75,8 @@ functionStatic:externals/tinyxml2/tinyxml2.cpp
 funcArgNamesDifferent:externals/tinyxml2/tinyxml2.cpp
 funcArgNamesDifferentUnnamed:externals/tinyxml2/tinyxml2.cpp
 funcArgNamesDifferentUnnamed:externals/tinyxml2/tinyxml2.h
-nullPointerRedundantCheck:externals/tinyxml2/tinyxml2.cpp
 knownConditionTrueFalse:externals/tinyxml2/tinyxml2.cpp
+nullPointerRedundantCheck:externals/tinyxml2/tinyxml2.cpp
 useStlAlgorithm:externals/simplecpp/simplecpp.cpp
 funcArgNamesDifferentUnnamed:externals/simplecpp/simplecpp.h
 missingMemberCopy:externals/simplecpp/simplecpp.h

AUTHORS

@@ -97,13 +97,15 @@ Cilyan Olowen
 Claus Jensby Madsen
 Colomban Wendling
 Conrado Gouvea
+correctmost
 daisuke-chiba
 Daniel Friedrich
 David Korczynski
 Daniel Marjamäki
 Daschle Newberry
 David Hallas
 David Korth
+David Ramnerö
 Dávid Slivka
 Debrard Sebastien
 Deepak Gupta
@@ -196,6 +198,7 @@ Jeewoong Kim
 Jens Bäckman
 Jens Yllman
 Jérémy Lefaure
+Jérôme Duval
 Jes Ramsing
 Jesse Boswell
 Jim Kuhn

CMakeLists.txt

@@ -1,5 +1,5 @@
 cmake_minimum_required(VERSION 3.22)
-project(Cppcheck VERSION 2.21.99 LANGUAGES CXX)
+project(Cppcheck VERSION 2.22.99 LANGUAGES CXX)
 
 include(cmake/options.cmake)
 

cfg/gnu.cfg

@@ -241,16 +241,94 @@
   <function name="__builtin_trap,__builtin_unreachable">
     <noreturn>true</noreturn>
   </function>
+  <!-- https://gcc.gnu.org/onlinedocs/gcc/Bit-Operation-Builtins.html -->
   <!-- int __builtin_popcount (unsigned int x) -->
+  <!-- int __builtin_popcountl (unsigned long x) -->
+  <!-- int __builtin_popcountll (unsigned long long x) -->
   <!-- int __builtin_parity (unsigned int x) -->
+  <!-- int __builtin_parityl (unsigned long x) -->
+  <!-- int __builtin_parityll (unsigned long long x) -->
   <!-- int __builtin_ffs (int x) -->
-  <!-- int __builtin_ffsl (long) -->
-  <!-- int __builtin_ffsll (long long) -->
+  <!-- int __builtin_ffsl (long x) -->
+  <!-- int __builtin_ffsll (long long x) -->
+  <!-- int __builtin_clrsb (int x) -->
+  <!-- int __builtin_clrsbl (long x) -->
+  <!-- int __builtin_clrsbll (long long x) -->
+  <function name="__builtin_popcount,__builtin_popcountl,__builtin_popcountll,__builtin_parity,__builtin_parityl,__builtin_parityll,__builtin_ffs,__builtin_ffsl,__builtin_ffsll,__builtin_clrsb,__builtin_clrsbl,__builtin_clrsbll">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!-- int __builtin_clz (unsigned int x) -->
-  <function name="__builtin_popcount,__builtin_parity,__builtin_ffs,__builtin_ffsl,__builtin_ffsll,__builtin_clz">
+  <!-- int __builtin_clzl (unsigned long x) -->
+  <!-- int __builtin_clzll (unsigned long long x) -->
+  <!-- int __builtin_ctz (unsigned int x) -->
+  <!-- int __builtin_ctzl (unsigned long x) -->
+  <!-- int __builtin_ctzll (unsigned long long x) -->
+  <function name="__builtin_clz,__builtin_clzl,__builtin_clzll,__builtin_ctz,__builtin_ctzl,__builtin_ctzll">
     <noreturn>false</noreturn>
     <returnValue type="int"/>
     <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <!-- result is undefined if x is 0 -->
+      <valid>1:</valid>
+    </arg>
+  </function>
+  <!-- int __builtin_ffsg (...) -->
+  <!-- int __builtin_clrsbg (...) -->
+  <!-- int __builtin_popcountg (...) -->
+  <!-- int __builtin_parityg (...) -->
+  <function name="__builtin_ffsg,__builtin_clrsbg,__builtin_popcountg,__builtin_parityg">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int __builtin_clzg (...) -->
+  <!-- int __builtin_ctzg (...) -->
+  <function name="__builtin_clzg,__builtin_ctzg">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="variadic" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- unsigned int __builtin_stdc_bit_width (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_count_ones (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_count_zeros (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_leading_one (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_leading_zero (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_trailing_one (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_trailing_zero (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_leading_ones (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_leading_zeros (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_trailing_ones (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_trailing_zeros (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_has_single_bit (uintX_t x) -->
+  <function name="__builtin_stdc_bit_width,__builtin_stdc_count_ones,__builtin_stdc_count_zeros,__builtin_stdc_first_leading_one,__builtin_stdc_first_leading_zero,__builtin_stdc_first_trailing_one,__builtin_stdc_first_trailing_zero,__builtin_stdc_leading_ones,__builtin_stdc_leading_zeros,__builtin_stdc_trailing_ones,__builtin_stdc_trailing_zeros,__builtin_stdc_has_single_bit">
+    <noreturn>false</noreturn>
+    <returnValue type="unsigned int"/>
+    <use-retval/>
+    <const/>
     <arg nr="1" direction="in">
       <not-uninit/>
       <not-bool/>

cli/main.cpp

@@ -20,7 +20,7 @@
 /**
  *
  * @mainpage Cppcheck
- * @version 2.21.99
+ * @version 2.22.99
  *
  * @section overview_sec Overview
  * Cppcheck is a simple tool for static analysis of C/C++ code.

createrelease

@@ -8,6 +8,9 @@
 # Review trac roadmap, are tickets closed properly?
 # Only tickets that should be retargeted should be open.
 #
+# Execute this script to check if trac tickets can be closed
+# tools/release-trac-fixed-open-tickets.py
+#
 # Versioning scheme
 # ========================
 # VERSION=2.22.0      # the new release tag created
@@ -23,14 +26,12 @@
 # cd ~/cppchecksolutions/addon/coverage
 # CPPCHECK_REPO=~/cppchecksolutions/cppcheck python3 coverage.py --code
 #
-# Check every isPremiumEnabled call: TODO write helper script
-# - every id should be in --errorlist
-#   git grep 'isPremiumEnabled[(]"' | sed 's/.*isPremiumEnabled[(]"//' | sed 's/".*//' | sort | uniq > ids1.txt
-#   ./cppcheck --errorlist | grep ' id="' | sed 's/.* id="//' | sed 's/".*//' | sort | uniq > ids2.txt
-#   diff -y ids1.txt ids2.txt
-# - premiumaddon: check coverage.py
-#   python3 coverage.py --id ; sort ids-*.txt | uniq > ~/cppcheck/ids3.txt
-#   diff -y ids2.txt ids3.txt
+# Check that every premium check id is a real, known Cppcheck error id: every
+# id passed to isPremiumEnabled(...) and every id referenced by the premium
+# addon's MISRA/CERT/AUTOSAR/CWE coverage mapping (coverage.py) must show up
+# in `cppcheck --errorlist`, otherwise the id was renamed/removed and the
+# premium check or compliance mapping is silently broken.
+# tools/release-check-premium-ids.py
 #
 # Windows installer:
 # - ensure latest build was successful
@@ -44,7 +45,7 @@
 # cd ~/cppchecksolutions/cppcheck && python3 tools/get_checkers.py > lib/checkers.cpp
 #
 # Update copyright year: TODO release script
-# git diff $PREV -- */*.cpp */*.h | grep '^diff --git a/' | sed 's|.* b/||' | xargs sed -i "s/Copyright (C) 2007-20[12]./Copyright (C) 2007-$(date +%Y)/"
+# git grep -l 'Copyright (C) 2007-20' -- '*.cpp' '*.h' '*.py' | while read f; do y=$(git log -1 --format=%ad --date=format:%Y --invert-grep -i --grep=copyright -- "$f"); sed -i "s/Copyright (C) 2007-20[0-9][0-9]/Copyright (C) 2007-$y/" "$f"; done
 # git diff | grep '^diff --git a/'
 #
 # Make sure "cppcheck --errorlist" works:
@@ -131,11 +132,11 @@
 # 2. scp -i ~/.ssh/osuosl_id_rsa tools/donate-cpu-server.py danielmarjamaki@cppcheck1.osuosl.org:/var/daca@home/
 #
 # Backup:
-# * trac: cd /var && nice tar -cJf ~/trac.tar.xz trac-cppcheck/db/trac.db
-# * daca: cd /var && nice tar -cJf ~/daca.tar.xz daca@home
+# * trac: rm -f trac.db trac.tar.xz && cp /var/trac-cppcheck/db/trac.db . && nice tar -cJf trac.tar.xz trac.db
+# * daca: rm -rf daca@home daca.tar.xz && cp -R /var/daca@home . && nice tar -cJf daca.tar.xz daca@home
 # * git: git checkout -f && git checkout main && git pull && tar -cJf git.tar.xz .git
 # * git log $PREV..$VERSION > Changelog
-# * mkdir out && python3 ~/cppchecksolutions/release/getWorkflowAndIssueLogs.py -r /cppcheck-opensource//cppcheck -t $VERSION -p out
+# * cd ~/cppcheck && mkdir -p out && python3 ~/cppchecksolutions/release/getWorkflowAndIssueLogs.py -r cppcheck-opensource/cppcheck -t $VERSION -p out
 
 # Folder/tag to use:
 tag=$1

gui/application.cpp

@@ -1,6 +1,6 @@
 /*
  * Cppcheck - A tool for static C/C++ code analysis
- * Copyright (C) 2007-2023 Cppcheck team.
+ * Copyright (C) 2007-2022 Cppcheck team.
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by

gui/applicationdialog.cpp

@@ -1,6 +1,6 @@
 /*
  * Cppcheck - A tool for static C/C++ code analysis
- * Copyright (C) 2007-2023 Cppcheck team.
+ * Copyright (C) 2007-2026 Cppcheck team.
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by