Mathias Vorreiter Pedersen
|
16670511de
|
Merge pull request #21239 from MathiasVP/logical-binary-fix-guards-cpp
C++: Ensure that there are AST `GuardCondition`s for `||` and `&&`
|
2026-01-30 13:50:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
1b1c9c680c
|
Merge pull request #21227 from MathiasVP/postfix-fix
C++: Get rid of an ugly workaround in dataflow
|
2026-01-29 12:25:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
25647badbd
|
C++: Fix the AST wrapper for binary logical operators.
|
2026-01-28 14:06:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
6445fd805d
|
C++: Fix IR -> AST mapping for basic blocks.
|
2026-01-28 14:01:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
28fec0c129
|
C++: Accept test changes.
|
2026-01-27 18:29:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
e0a7889b71
|
C++: Undo the hack.
|
2026-01-26 21:28:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
bd09aad7d5
|
C++: Add tests.
|
2026-01-26 21:24:22 +00:00 |
|
Tom Hvitved
|
3b1e062985
|
C++: Adapt to changes in FlowSummaryImpl
|
2026-01-26 12:40:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
a556152b9d
|
C++: Fix asDefinition to not only work for SSA definitions.
|
2026-01-23 16:23:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
e58a8330cd
|
C++: Add test for asDefinition.
|
2026-01-23 16:22:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
64a7d7d836
|
C++: Also output variable name in test.
|
2026-01-21 19:14:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
e1089c8d89
|
Merge branch 'main' into ir-support-for-assertions
|
2026-01-21 13:56:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
11566ee256
|
C++: Accept test changes.
|
2026-01-21 13:50:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
c30dffc7b9
|
C++: Add more tests.
|
2026-01-21 13:50:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
048afc2c88
|
C++: Add assertion inside catch block. This does not yet work because the 'LocalScopeVariable' does not have a result for 'getFunction'.
|
2026-01-20 21:31:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
c47a9ddf83
|
Apply suggestions from code review
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2026-01-19 11:46:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
a11b271d6e
|
C++: Finish up implementation of MaD barriers.
|
2026-01-19 11:30:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b31928c7b
|
C++: Add MaD barrier guard tests.
|
2026-01-19 11:30:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
dc7ce3fba3
|
Merge pull request #21171 from MathiasVP/fix-conflation-in-guards
C++: Fix conflation in barrier guards
|
2026-01-19 11:29:05 +00:00 |
|
Mathias Vorreiter Pedersen
|
28681508f3
|
C++: Fix bug and accept test changes.
|
2026-01-15 11:17:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
27a437a514
|
C++: Modify test to reveal a bug.
|
2026-01-15 11:16:15 +00:00 |
|
Jeroen Ketema
|
3327193a11
|
Merge pull request #21164 from jketema/jketema/builtin
C++: More builtins and information regarding this param refs
|
2026-01-15 08:21:01 +01:00 |
|
Jeroen Ketema
|
17a453bb33
|
Merge pull request #21126 from jketema/subscript
C++: Add predicates to support C++23 multidimensional subscript operators
|
2026-01-14 14:48:14 +01:00 |
|
Jeroen Ketema
|
93535d1c86
|
C++: Add tests for new builtin operations
|
2026-01-14 13:35:47 +01:00 |
|
Jeroen Ketema
|
54f75653ba
|
C++: Update test expectations after extractor changes
|
2026-01-14 12:01:51 +01:00 |
|
Jeroen Ketema
|
d20cd68a05
|
C++: Update expected test results after extractor changes
|
2026-01-13 16:11:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa058c2cca
|
C++: Generate IR for assertions in release builds.
|
2026-01-12 21:07:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e3fd25b09
|
C++: Add tests for assertions in release builds.
|
2026-01-12 21:06:02 +00:00 |
|
Simon Friis Vindum
|
3a135888c7
|
C++: Improve bounds from inequalities on integers
|
2026-01-09 10:26:36 +01:00 |
|
Simon Friis Vindum
|
9af432d2f9
|
C++: Add simple range analysis tests for inequalities
|
2026-01-09 10:12:36 +01:00 |
|
Jeroen Ketema
|
e0f8b1254e
|
C++: Update expected test results
|
2026-01-08 13:13:20 +01:00 |
|
Simon Friis Vindum
|
26bd332617
|
Merge pull request #21113 from paldepind/cpp/range-analysis-float-ceil
C++: Remove `safeFloor` in simple range analysis
|
2026-01-08 13:07:30 +01:00 |
|
Jeroen Ketema
|
647d11a6ce
|
C++: Add test for C++23 multidimensional subscript operators
|
2026-01-08 13:02:31 +01:00 |
|
Jeroen Ketema
|
217c5cb78b
|
C++: Update tests after adding extractor support for logical vector operations
|
2026-01-08 11:55:47 +01:00 |
|
Jeroen Ketema
|
89c11b8daf
|
C++: Add tests for logical vector operations
|
2026-01-08 11:54:49 +01:00 |
|
Jeroen Ketema
|
1ebf623541
|
C++: Add space in tests for adding new tests in a logical place
|
2026-01-08 11:54:42 +01:00 |
|
Simon Friis Vindum
|
7c0054bf25
|
C++: Tweak a comment in simple range analysis
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2026-01-08 08:51:04 +01:00 |
|
Simon Friis Vindum
|
f5ddb1d51d
|
C++: Remove safeFloor in simple range analysis
|
2026-01-07 12:49:09 +01:00 |
|
Simon Friis Vindum
|
bd24fb0baa
|
C++: Add simple range analysis test for bitshift
|
2026-01-07 10:56:50 +01:00 |
|
Jeroen Ketema
|
3cd9938ebe
|
C++: Update expected test results after IR changes
|
2026-01-06 17:37:22 +01:00 |
|
Jeroen Ketema
|
17b22bc088
|
C++: Update expected test results after frontend _Generic fix
|
2026-01-06 13:53:45 +01:00 |
|
Jeroen Ketema
|
5117b5906b
|
C++: Exclude comparisons from enum constants in `cpp/constant-comparison
|
2026-01-06 13:53:44 +01:00 |
|
Jeroen Ketema
|
112eaadfae
|
C++: Add another cpp/constant-comparison FP test case
|
2026-01-06 13:53:43 +01:00 |
|
Jeroen Ketema
|
1f10cddef5
|
C++: Accept test changes after frontend update and uncomment test case
The new frontend version does less constant folding.
|
2026-01-06 13:53:41 +01:00 |
|
Jeroen Ketema
|
90d6c9fc56
|
C++: Exclude more comparisons from cpp/constant-comparison
|
2026-01-06 13:53:40 +01:00 |
|
Jeroen Ketema
|
509cbf7049
|
C++: Add cpp/constant-comparison FP test cases after frontend update
|
2026-01-06 13:53:38 +01:00 |
|
Jeroen Ketema
|
87a9065d61
|
C++: Update expected test results after frontend update
|
2026-01-06 13:53:34 +01:00 |
|
Geoffrey White
|
803e9fcb88
|
Merge branch 'main' into fix-CWE-119-tests
|
2025-11-27 09:57:23 +00:00 |
|
Mingjie Shen
|
25a46a82ba
|
C++: Use appropriate sizeof in CWE-119 memcpy tests
Signed-off-by: Mingjie Shen <shen497@purdue.edu>
|
2025-11-27 05:15:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
d869b00672
|
Merge pull request #20899 from MathiasVP/ignore-non-type-template-params
C++: Ignore non-type template parameters when matching signatures in MaD
|
2025-11-26 14:26:45 +00:00 |
|