Henning Makholm
|
bac175e881
|
C++ tests: fix output of bug-stricken test
The expected output was incorrect and the result of an evaluator bug.
This change should go together with the internal PR that fixes this bug.
|
2023-09-12 16:28:59 +02:00 |
|
Mathias Vorreiter Pedersen
|
ff28f45058
|
C++: Accept test changes.
|
2023-09-12 10:28:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
7d2c12e63d
|
C++: Handle the extent of 'new[]' in 'getConvertedResultExpressionImpl0' and add a few more comments.
|
2023-09-12 10:28:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
becb469477
|
Merge branch 'main' into deduplicate-dataflow-results-take-3
|
2023-09-11 09:55:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
7ff4ebd912
|
Merge pull request #14102 from alexet/alexet/remove-unreachable-ir
CPP: Remove sucessors of non-returning IR calls transitively.
|
2023-09-09 14:48:26 +01:00 |
|
github-actions[bot]
|
d699880c86
|
Post-release preparation for codeql-cli-2.14.4
|
2023-09-08 21:17:52 +00:00 |
|
Alex Eyers-Taylor
|
5892939488
|
CPP:Fix chnage note spelling
|
2023-09-08 17:47:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f89c63771
|
C++: Accept test changes.
|
2023-09-08 17:07:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
0be61be07a
|
C++: Handle flow out of post-update nodes when there's another use of the variable in the call that we need to skip.
|
2023-09-08 17:07:26 +01:00 |
|
Alex Eyers-Taylor
|
5fe44b65b7
|
CPP: Avoid CP with edgekind in non-returning analysis
|
2023-09-08 16:55:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5442ec9c5
|
C++: Add regression test.
|
2023-09-08 13:10:04 +01:00 |
|
Alex Eyers-Taylor
|
e208a7aed6
|
CPP: Add change notes for the non-returning function improvements.
|
2023-09-08 11:26:27 +01:00 |
|
Tom Hvitved
|
e6a6a7931b
|
Revert "C#: Bump all dependencies"
|
2023-09-08 11:19:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
32ed82eecc
|
Merge pull request #14154 from MathiasVP/fix-off-by-one-in-asDefiningArgument
|
2023-09-07 18:48:57 +01:00 |
|
Alex Eyers-Taylor
|
43a72f2a8e
|
CPP:Add tests for the aliased IR.
|
2023-09-07 13:42:31 +01:00 |
|
Alex Eyers-Taylor
|
404145dd1b
|
CPP: Update tests
|
2023-09-07 13:42:31 +01:00 |
|
Alex Eyers-Taylor
|
b44c4587a4
|
CPP: Remove sucessors of non-returning IR calls.
|
2023-09-07 12:58:20 +01:00 |
|
Alex Eyers-Taylor
|
e8dfecc4a4
|
CPP: Fix test result
|
2023-09-07 12:49:13 +01:00 |
|
Alex Eyers-Taylor
|
d603b7ac3c
|
CPP: Make functions that reach the end return.
This is UB in C++ but not C where it is only bad if the result is used.
|
2023-09-07 12:39:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
3f6346737c
|
Update 2023-09-06-as-defining-argument-off-by-one-fix.md
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2023-09-06 19:48:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
87925abaa2
|
C++: Add change note.
|
2023-09-06 17:26:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
14faa5d020
|
C++: Fix off-by-one in 'asDefiningArgument' so that the domain of the argument is '[1..]' like 'asIndirectArgument'.
|
2023-09-06 17:19:44 +01:00 |
|
Tom Hvitved
|
6e0ff56788
|
Revert "C#: Bump all dependencies"
|
2023-09-06 16:23:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
2bed77de09
|
Merge branch 'main' into deduplicate-dataflow-results-take-3
|
2023-09-06 14:12:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
4cbe82353f
|
C++: Accept more test changes.
|
2023-09-06 13:58:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
b22199982e
|
C++: Add change note.
|
2023-09-06 13:08:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
3eb2da4c03
|
C++: No need to remove duplications manually.
|
2023-09-06 09:29:11 +01:00 |
|
github-actions[bot]
|
abf2b12b1c
|
Release preparation for version 2.14.4
|
2023-09-05 16:56:14 +00:00 |
|
Alex Eyers-Taylor
|
3db384ddc3
|
CPP: Handle globals flowing into "UnreacheachedInstruction"
|
2023-09-05 11:50:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
1232120d42
|
C++: Naively copy the 'surprising lifetimes' query from Coding Standards and add required metadata.
|
2023-09-04 16:21:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
20f501d1c7
|
C++: Change queries to use 'asExpr' instead of 'asConvertedExpr'.
|
2023-09-01 15:01:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
cca6052026
|
C++: Use 'operandNode' to generate the string for indirect operands.
|
2023-09-01 14:04:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
f1c4fa2345
|
C++: When we generate a string for the node we avoid multiple results by only using the 0'th result from the 'asExpr' predicate. However, when we want to convert between nodes and expressions we don't care about which one we get.
|
2023-09-01 14:04:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
d2bb73ba1f
|
C++: Use the index to to get the 'most converted' and 'least converted' instruction in a bunch of places.
|
2023-09-01 13:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
4dfaf9225c
|
C++: Index 'getConvertedResultExpression' by an integer.
|
2023-09-01 13:32:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
16d62186c0
|
C++: Use this new predicate everywhere we need to convert an instruction to an expression.
|
2023-09-01 13:32:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
60819ad7f2
|
Add a single predicate that should be used to convert an instruction to an expression.
|
2023-09-01 13:06:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
72d9812fea
|
C++: Accept more test changes.
|
2023-08-31 21:56:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
dfefd62089
|
C++: Accept test changes.
|
2023-08-31 20:38:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
aed14f2924
|
C++: Don't insert loads for constants.
|
2023-08-31 20:38:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
b575747357
|
C++: Add testcase with invalid IR.
|
2023-08-31 20:35:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
10548b57d7
|
Merge pull request #14103 from MathiasVP/non-certain-def-is-a-use
C++: Non-certain definitions should always be uses
|
2023-08-31 16:15:30 +01:00 |
|
Tom Hvitved
|
73370e7282
|
Merge pull request #14100 from hvitved/dataflow/consistency-pack
Data flow: Add consistency checks to shared ql pack
|
2023-08-31 11:47:40 +02:00 |
|
Mathias Vorreiter Pedersen
|
f5509da4bb
|
Merge pull request #14038 from alexet/delete-ir
CPP: Add delete/delete[] calls to the IR.
|
2023-08-31 09:22:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
1159508e4f
|
Merge pull request #14008 from MathiasVP/reuse-even-more-nodes
C++: Reuse even more `DataFlow::Node`s
|
2023-08-30 19:38:52 +01:00 |
|
Alex Eyers-Taylor
|
59a77666a6
|
CPP: Remove uneeded indirection around delete calls in the IR.
|
2023-08-30 16:31:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
261ba8e02d
|
C++: Add QLDoc to 'isDereference'.
|
2023-08-30 14:34:30 +01:00 |
|
Tom Hvitved
|
db304d118b
|
C++: Use data flow consistency checks from shared pack
|
2023-08-30 15:29:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
4ca259b200
|
C++: Non-exact definitions should always be a use.
|
2023-08-30 11:50:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
b092da485d
|
C++: Accept more test changes.
|
2023-08-30 11:26:40 +01:00 |
|