Jeroen Ketema
dfa16423c0
C++: Add IR inconsistency test
2024-09-09 21:50:42 +02:00
Jeroen Ketema
6e0b5bcb63
Merge pull request #17414 from MathiasVP/add-more-try-except-testcases
...
C++: Add more IR inconsistency tests
2024-09-09 18:10:42 +02:00
Mathias Vorreiter Pedersen
353cd8cc74
C++: Add more IR inconsistency tests.
2024-09-09 16:37:55 +01:00
Jeroen Ketema
915d24c62f
C++: Re-introduce the original version of the many_defs_per_use IR test
...
See: 28cff2ea20
2024-09-06 17:38:29 +02:00
Jeroen Ketema
b73b8682b4
Merge pull request #17371 from jketema/correct-include
...
C++: Update expected test results after extractor changes
2024-09-06 09:38:06 +02:00
Mathias Vorreiter Pedersen
25d7f17efc
C++: Add testcase with IR inconsistencies.
2024-09-05 19:32:53 +01:00
Jeroen Ketema
5b65f98e2c
C++: Update expected test results after extractor changes
...
The updated test results look more correct, as the documentation of
`#include_next` [1] that it should start looking in the next directory
in the search path. Before this update, the frontend was actually
looking in the current directory first, which is incorrect.
[1] https://gcc.gnu.org/onlinedocs/cpp/Wrapper-Headers.html
2024-09-05 15:17:43 +02:00
Simon Friis Vindum
5950af390d
Merge pull request #17351 from paldepind/swap-member-data-flow
...
C++: Make swap member functions data-flow functions
2024-09-05 11:39:16 +02:00
Jeroen Ketema
b6e38ff862
Merge pull request #17342 from jketema/coroutine
...
C++: Fix coroutine IR inconsistencies
2024-09-05 10:15:16 +02:00
Simon Friis Vindum
f066f21751
C++: Make swap member functions data-flow functions
2024-09-04 13:55:19 +02:00
Erik Krogh Kristensen
4258119ba3
Merge branch 'main' into del-deps-sep-2024
2024-09-04 12:43:41 +02:00
Simon Friis Vindum
04f4039adc
Merge pull request #17354 from paldepind/realloc-data-flow
...
C++: Make realloc a data-flow function
2024-09-04 09:04:12 +02:00
erik-krogh
0fdd06fff5
use my script to delete outdated deprecations
2024-09-03 20:30:58 +02:00
Jeroen Ketema
8ca52f278a
C++: Fix coroutine IR inconsistencies
...
While here, remove some dead code related to fixed points from the database
scheme.
2024-09-03 18:12:36 +02:00
Simon Friis Vindum
037912fd2d
C++: Add data-flow test for realloc
2024-09-03 14:02:03 +02:00
Geoffrey White
1ff6c4c090
C++: Restore change and see effect on test.
2024-09-03 11:55:06 +01:00
Geoffrey White
5bd58f044e
C++: Add a direct test of getOverlap and a test case for it.
2024-09-03 11:52:20 +01:00
Simon Friis Vindum
78068a488f
C++: Make realloc a data-flow function
2024-09-03 11:25:18 +02:00
Jeroen Ketema
4945943732
C++: Support C11 _Generic expressions
2024-08-30 14:24:03 +02:00
Jeroen Ketema
30335ab81e
C++: Add C11 _Generic IR tests
2024-08-30 10:50:49 +02:00
Jeroen Ketema
2b571cf450
C++: Address review comments
2024-08-28 15:11:42 +02:00
Jeroen Ketema
9e861ce717
C++: Add support for more clang builtins
2024-08-28 13:08:42 +02:00
Asger F
16c2cf24b3
C++: use inline annotation for missing flow
2024-08-26 11:53:31 +02:00
Asger F
d27b28d371
C++: update test output
...
This reveals that some tests were passing for the wrong reasons.
See https://github.com/github/codeql/pull/17275
2024-08-23 11:29:24 +02:00
Anders Schack-Mulligen
525b6f30e3
C++/C#/Java: Accept test changes.
2024-08-21 10:51:28 +02:00
Geoffrey White
bf66a787ab
C++: Accept test changes caused by new CLI version.
2024-08-06 16:45:48 +01:00
Jeroen Ketema
28702046aa
C++: Rename function to match what is actually being tested
2024-08-05 10:32:54 +01:00
Jeroen Ketema
bfae86e9e8
C++: Update test after extractor fix
2024-08-05 10:32:54 +01:00
Jeroen Ketema
59db802fa4
C++ Add test showing incorrect value categories for _Generics
2024-08-05 10:32:54 +01:00
Jeroen Ketema
9744c06933
C++: Expose explicit and explicit(bool) function specifiers
2024-08-02 15:39:18 +02:00
Jeroen Ketema
972d9ca2b8
C++: Add more deduction guide tests
2024-08-02 14:12:56 +02:00
Jeroen Ketema
4dcf67940c
C++: Add getTemplateClass to DeductionGuide
2024-08-01 20:54:53 +02:00
Mathias Vorreiter Pedersen
fe575df325
C++: Mark constexpr if as unevalauted.
2024-07-31 13:09:12 +01:00
Mathias Vorreiter Pedersen
4e62dc81d2
C++: Add constexpr if testcase.
2024-07-31 13:08:49 +01:00
Jeroen Ketema
f986484813
Merge pull request #17098 from jketema/deduction
...
C++: Update tests after extractor changes
2024-07-30 21:08:40 +02:00
Mathias Vorreiter Pedersen
ef0370b64e
C++: Respond to review comments.
2024-07-30 13:19:02 +01:00
Jeroen Ketema
5455a365d1
C++: Update tests after extractor changes
2024-07-30 13:52:23 +02:00
Mathias Vorreiter Pedersen
afc0d0a078
C++: Accept test changes.
2024-07-30 11:54:20 +01:00
Mathias Vorreiter Pedersen
f932e515a7
C++: Accept test changes.
2024-07-30 11:11:38 +01:00
Mathias Vorreiter Pedersen
8edf19adc0
C++: Add MaD model for 'std::format'.
2024-07-30 10:15:39 +01:00
Mathias Vorreiter Pedersen
ff788c93c0
C++: Add a model for 'std::format' and a failing test.
2024-07-30 10:13:39 +01:00
Alexandre Boulgakov
2396c3c798
C++: Update MaD tests with correct template parameter counting in the presence of packs.
2024-07-29 14:59:49 +01:00
Jeroen Ketema
e1329dff72
Merge pull request #16947 from github/calumgrant/attributes
...
C++: Update attributes test output
2024-07-26 21:05:46 +02:00
Mathias Vorreiter Pedersen
c0263bef5a
Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4
...
C++: Speed up alias analysis
2024-07-26 10:02:02 +01:00
Jeroen Ketema
a944922c97
C++: Add more explicit(bool) tests
2024-07-26 09:47:01 +02:00
Jeroen Ketema
3e7a60c1a6
C++: Add additional test cases for explict and explicit(bool) specifiers
...
Note that the `explict(bool)` specifiers currently do not end up in the
database.
2024-07-25 14:41:44 +02:00
Mathias Vorreiter Pedersen
099c282277
C++: Move large function to its own file.
2024-07-25 12:11:09 +01:00
Mathias Vorreiter Pedersen
c5da43e691
Merge pull request #16981 from MathiasVP/phi-escape-5-follow-up-2
...
C++: Alias analysis follow-up to #16907
2024-07-25 11:59:44 +01:00
Calum Grant
d8cc92068a
C++: Update attributes test output
2024-07-24 17:48:35 +01:00
Mathias Vorreiter Pedersen
4a34dc125b
C++: Expand the macro manually to work around an extractor bug.
2024-07-24 15:51:54 +01:00
