Ian Lynagh
42f0ce74ca
C++: Enable overlay compilation
2025-11-19 17:34:06 +00:00
Jeroen Ketema
fe3f90e041
C++: Make getExpandedArgument more robust
...
This make the predicate give back sensible results on (upgraded) databases
where we do not have expanded arguments, and avoid having to write case
distinctions in places where we would want to use `getExpandedArgument`.
2025-11-19 12:49:54 +01:00
Jeroen Ketema
e235e0473a
C++: Fix getAnExpandedArgument
...
The fix was accidentially lost when rebasing the branch that introduced this
predicate.
2025-11-19 12:49:02 +01:00
Mathias Vorreiter Pedersen
4279a970fa
C++: Remove unnecessary cast.
2025-11-18 20:03:24 +00:00
Mathias Vorreiter Pedersen
a27ac9d59d
C++: Updated expected after Copilot change.
2025-11-18 20:03:10 +00:00
Mathias Vorreiter Pedersen
6b136e3a53
Update cpp/ql/test/library-tests/types/sizeof/sizeof.ql
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-11-18 20:00:32 +00:00
Mathias Vorreiter Pedersen
d4a8dbb5f3
C++: Slightly modify a test so that we can see the effect of this change.
2025-11-18 19:52:30 +00:00
Mathias Vorreiter Pedersen
a5601ce734
C++: Lift 'getTypeOperand' to the superclass.
2025-11-18 19:52:05 +00:00
Paolo Tranquilli
48ee9dd149
Merge branch 'main' into post-release-prep/codeql-cli-2.23.6
2025-11-18 12:18:09 +01:00
github-actions[bot]
5ee45af3aa
Post-release preparation for codeql-cli-2.23.6
2025-11-18 09:53:12 +00:00
Mathias Vorreiter Pedersen
47ac4dd1dc
C++: Add 'nomagic' to 'getParameter'.
2025-11-17 19:21:37 +00:00
github-actions[bot]
18fa6799ce
Release preparation for version 2.23.6
2025-11-17 16:38:07 +00:00
Jeroen Ketema
1671805598
Merge pull request #20831 from jketema/expanded
...
C++: Extract the expanded compiler arguments
2025-11-17 13:58:24 +01:00
Jeroen Ketema
1df47cc747
C++: Fix QL-for-QL warning
2025-11-17 11:17:57 +01:00
Jeroen Ketema
15393ae621
C++: Add change note
2025-11-17 11:17:56 +01:00
Jeroen Ketema
61b7eb3d5c
C++: Update dbscheme stats file
2025-11-17 11:17:55 +01:00
Jeroen Ketema
a8d488fa29
C++: Add upgrade and downgrade scripts
2025-11-17 11:17:54 +01:00
Jeroen Ketema
ee97d6f461
C++: Expose the expanded compilation arguments
2025-11-17 11:17:53 +01:00
Jeroen Ketema
861c236dae
C++: Add table for expanded compilation arguments
2025-11-17 11:17:51 +01:00
Simon Friis Vindum
792ac7a772
C++: Fix typo
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-11-14 12:59:41 +01:00
Simon Friis Vindum
1dd78e2f4b
C++: Add change note
2025-11-14 12:26:24 +01:00
Simon Friis Vindum
5da73f3232
C++: Make sure that nrOfBoundsNEPhi is functional
2025-11-14 12:26:23 +01:00
Simon Friis Vindum
74b433ef59
C++: Add range analysis tests
2025-11-14 12:26:22 +01:00
Simon Friis Vindum
69e70d7cbc
Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
...
This reverts commit e7c029ae7d .
2025-11-14 12:26:21 +01:00
Mathias Vorreiter Pedersen
7b052e2404
Merge branch 'main' into fix-cp-in-external-flow
2025-11-10 10:44:31 +00:00
Mathias Vorreiter Pedersen
29a294f8d0
C++: Bind the columns inside the predicate instead of relying on 'bindingset's. The repeated inlining caused by 'bindiingset's created some #shared predicates with repeated regex matching.
2025-11-10 10:21:12 +00:00
Mathias Vorreiter Pedersen
267a7f5229
Merge pull request #20779 from MathiasVP/fix-bad-magic
...
C++: Fix bad magic in `IRGuards`
2025-11-10 10:05:18 +00:00
Jeroen Ketema
eb3e86480f
Merge pull request #20784 from jketema/qual-fail
...
C++: Fix named qualifier dataset check error with decltypes
2025-11-10 10:36:47 +01:00
Jeroen Ketema
0bf415acdf
C++: Add upgrade and downgrade scripts
2025-11-10 10:11:05 +01:00
Jeroen Ketema
b660625429
C++: Update dbscheme to address dataset check error
2025-11-10 10:11:04 +01:00
Jeroen Ketema
a3f26fd6bb
C++: Update expected test results after QL changes
2025-11-10 10:11:03 +01:00
Jeroen Ketema
f9554e1542
C++: Give proper getNames to more types and fix QLdoc
2025-11-10 10:11:01 +01:00
Mathias Vorreiter Pedersen
dfdc2a6a15
C++: Delete an incorrect comment.
2025-11-08 16:45:45 +00:00
Mathias Vorreiter Pedersen
3d6b3a31ac
C++: Also join on the 'namespace'.
2025-11-08 16:45:39 +00:00
Mathias Vorreiter Pedersen
bfe2b7dc44
C++: Use the new predicate to remove a cartesian-like join.
2025-11-08 16:43:43 +00:00
Mathias Vorreiter Pedersen
a922d5099f
C++: Factor out some conjuncts from 'interpretElement0' and into a new predicate.
2025-11-08 16:42:16 +00:00
Mathias Vorreiter Pedersen
74b774eec5
Merge pull request #20769 from MathiasVP/add-more-flow-models
...
C++: Add a few more models
2025-11-08 16:39:29 +00:00
github-actions[bot]
10ae374a82
Post-release preparation for codeql-cli-2.23.4
2025-11-07 18:18:09 +00:00
Michael B. Gale
0cbc9358de
Revert C++ range analysis change note
2025-11-07 17:39:40 +00:00
Mathias Vorreiter Pedersen
6a2debba96
C++: Fix bad magic.
2025-11-07 17:38:18 +00:00
github-actions[bot]
6342da9503
Release preparation for version 2.23.4
2025-11-07 17:37:29 +00:00
Michael B. Gale
eb32c32d4c
Merge pull request #20777 from github/revert-20745-release-prep/2.23.4
...
Revert "Release preparation for version 2.23.4"
2025-11-07 17:35:35 +00:00
Mathias Vorreiter Pedersen
56b9566299
C++: Fix mistakes in models of internal strcat and strcpy functions.
2025-11-07 17:29:48 +00:00
Michael B. Gale
6ce8f07290
Revert "Release preparation for version 2.23.4"
2025-11-07 17:28:28 +00:00
Mathias Vorreiter Pedersen
f163d015d5
C++: Clean up comments.
2025-11-07 17:27:25 +00:00
Enrico Steffinlongo
e7c029ae7d
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
...
This reverts commit a0a6f288b5 , reversing
changes made to 32f21d6d49 .
2025-11-07 16:49:47 +00:00
Mathias Vorreiter Pedersen
f0da0d98a2
C++: Add a few more models I noticed while here.
2025-11-06 17:00:19 +00:00
Mathias Vorreiter Pedersen
2b6a75f4ad
C++: Accept test changes.
2025-11-06 16:57:11 +00:00
Mathias Vorreiter Pedersen
1d5d272822
C++: Add a few more models.
2025-11-06 16:55:51 +00:00
Mathias Vorreiter Pedersen
0607100310
C++: Add tests with missing flow.
2025-11-06 16:54:54 +00:00