github-actions[bot]
|
e32a587078
|
Release preparation for version 2.17.6
|
2024-06-24 14:33:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
6a6978398a
|
C++: Add file QLDoc.
|
2024-06-11 15:39:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
333df03f64
|
C++: Cache more things.
|
2024-06-11 15:39:43 +01:00 |
|
github-actions[bot]
|
8a25081a0e
|
Post-release preparation for codeql-cli-2.17.5
|
2024-06-10 15:33:08 +00:00 |
|
github-actions[bot]
|
877bfa2468
|
Release preparation for version 2.17.5
|
2024-06-10 13:40:39 +00:00 |
|
Jeroen Ketema
|
000a81fd29
|
Merge pull request #16690 from MathiasVP/better-guards
C++: Fix missing results for `comparesEq` in `IRGuardCondition`
|
2024-06-10 13:32:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
7819cc1c36
|
C++: Add more QLDoc.
|
2024-06-10 10:58:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
7f62085be5
|
C++: Delete unused predicate.
|
2024-06-07 09:13:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
ed525fce70
|
C++: Accept test changes.
|
2024-06-06 20:38:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
b5a3575130
|
C++: Make proper use of barrier guards in test.
|
2024-06-06 20:38:17 +01:00 |
|
Jeroen Ketema
|
4488518838
|
C++: Update expected test results
|
2024-06-06 21:12:34 +02:00 |
|
Jeroen Ketema
|
5ae8fe502a
|
C++: Correctly identify orphaned variables as static
|
2024-06-06 20:35:26 +02:00 |
|
Jeroen Ketema
|
798357ffc6
|
C++: Add test case that shows that __func__ is not considered static
|
2024-06-06 20:31:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
7b92554cf2
|
Merge branch 'main' into better-guards
|
2024-06-06 19:22:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f4c1380e5
|
Merge pull request #16677 from MathiasVP/phi-input-nodes
C++: Extend barrier guards to handle phi inputs
|
2024-06-06 19:21:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
9564ae1ca4
|
C++: Accept more test changes.
|
2024-06-06 17:04:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
528afba919
|
C++: Accept test changes.
|
2024-06-06 16:32:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
36aac3ffd8
|
C++: Get rid of 'relevantUnaryComparison' since it was excluding too much. The performance is most likely fine with that restriction.
|
2024-06-06 16:32:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
703832f5a1
|
C++: Remove a column from a few predicates.
|
2024-06-06 16:30:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
0298755975
|
C++: Add a test.
|
2024-06-06 16:22:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
8aaa2a1079
|
C++: Improve comment.
|
2024-06-06 15:58:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
f7b2d98c6e
|
C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.
|
2024-06-06 15:35:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
fa09d21c32
|
C++: Simplify. No need for the 'PhiInputNodeExt' class.
|
2024-06-06 15:33:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
5deb9002bf
|
Merge pull request #16665 from geoffw0/yml
C++: Support for extension models (.yml)
|
2024-06-06 14:21:42 +01:00 |
|
Geoffrey White
|
8acb11924d
|
C++: Remove redundant import.
|
2024-06-06 13:39:10 +01:00 |
|
Geoffrey White
|
7aec488d8a
|
C++: Permit ':' in models-as-data namespaces.
|
2024-06-06 12:53:42 +01:00 |
|
Geoffrey White
|
894497218d
|
Shared: Recognize 'remote-sink' in ModelValidation.qll.
|
2024-06-06 12:49:13 +01:00 |
|
Geoffrey White
|
f9ef72eca6
|
C++: Fix typos.
|
2024-06-06 12:31:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
31bc4263e7
|
C++: Fix QLDoc.
|
2024-06-06 10:52:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
bd9ece0bd3
|
C++: Add dataflow through '__builtin_bit_cast'.
|
2024-06-06 10:00:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
48f2fd0460
|
C++: Accept IR changes.
|
2024-06-06 09:52:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
d6352b47a1
|
C++: Fix IR generation for builtin operations.
|
2024-06-06 09:52:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
f58757ff9d
|
C++: Skip children we cannot translate when translating builtin operations.
|
2024-06-06 09:48:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
af4d2f1ed3
|
C++: Add an IR test.
|
2024-06-06 09:48:03 +01:00 |
|
Owen Mansel-Chan
|
ef2f01613c
|
Merge pull request #16676 from owen-mc/qldoc-external-flow
C/C#/Java/Swift: Cover all params in QLDoc of `modelCoverage`
|
2024-06-05 16:53:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
97f0c759c0
|
C++: Accept test changes.
|
2024-06-05 09:58:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
44cc19cd6b
|
C++: Handle phi inputs in barrier guards logic.
|
2024-06-05 09:58:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
05d46a6793
|
C++: Also ignore phi input edges in 'AllocaInLoop.ql'.
|
2024-06-05 09:58:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
0149fb640d
|
C++: Simplify.
|
2024-06-05 09:58:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
25179074c1
|
C++: Better toString on phi nodes.
|
2024-06-05 09:58:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
85d0efcbed
|
C++: Make the last use of a node before entering the phi node map to a phi input dataflow node.
|
2024-06-05 09:58:40 +01:00 |
|
Jeroen Ketema
|
6f8449cf75
|
C++: Add change note
|
2024-06-05 10:05:13 +02:00 |
|
Owen Mansel-Chan
|
6b2e86afea
|
Accept review suggestion
|
2024-06-05 07:34:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
d020f93005
|
C++: This is never a definition.
|
2024-06-04 17:19:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e53f3bd13
|
C++: Flow out of phi inputs to the phi node.
|
2024-06-04 17:19:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
e04c75df24
|
C++: Introduce a new phi input dataflow node.
|
2024-06-04 17:19:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
888a831a5c
|
C++: Use 'ssaDefReachesReadExt' instead of 'ssaDefReachesRead'.
|
2024-06-04 17:19:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
556dc282d2
|
C++: Use 'phiHasInputFromBlockExt' instead of 'phiHasInputFromBlock'.
|
2024-06-04 17:19:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
ceccc9294c
|
C++: Add a testcase that failed during development.
|
2024-06-04 17:19:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
a9af28ede0
|
C++: Drive-by fix. This is not needed anymore after #16345
|
2024-06-04 17:19:40 +01:00 |
|