Geoffrey White
7ff376b346
Merge branch 'main' into aliasperf2
2024-10-08 15:08:43 +01:00
Geoffrey White
4a131dd8f1
C++: Implement dbartol's suggestion.
2024-10-08 14:44:45 +01:00
Geoffrey White
f9fa52fe77
C++: Disabled the change again.
2024-10-08 14:43:56 +01:00
Jeroen Ketema
5754f8bac8
C++: Fix __finally related inconsistencies
2024-09-10 20:39:13 +02:00
Jeroen Ketema
500a2a0738
C++: Fix IR inconsistency due to throwing __except block
...
The fix consists of three parts:
* Ensure that an `Unwind` instruction is generated for functions that contain
a Microsoft `__try` statement, or a function that must throw.
* Do not manually introduce `Unwind` instructions for `__except` blocks, but
depend on the `Unwind` that we now insert in the function.
* Add missing `getExceptionSuccessorInstruction` predicate to
`TranslatedMicrosoftTryExceptHandler`
2024-09-10 12:41:43 +02:00
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
Mathias Vorreiter Pedersen
25d7f17efc
C++: Add testcase with IR inconsistencies.
2024-09-05 19:32:53 +01: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
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
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
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
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
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
Mathias Vorreiter Pedersen
4a34dc125b
C++: Expand the macro manually to work around an extractor bug.
2024-07-24 15:51:54 +01:00
Mathias Vorreiter Pedersen
5e484e4006
C++: Accept test changes.
2024-07-24 14:29:42 +01:00
Mathias Vorreiter Pedersen
28cff2ea20
C++: Add a testcase with many def/use pairs in alias analysis.
2024-07-24 13:46:31 +01:00
Mathias Vorreiter Pedersen
281212a22c
C++: Accept test changes.
2024-07-22 16:23:26 +01:00
Mathias Vorreiter Pedersen
1c8e0c453c
C++: Fix more inconsistencies.
2024-07-17 15:44:50 +01:00
Mathias Vorreiter Pedersen
45ba0c3319
Merge pull request #16907 from MathiasVP/phi-escape-5
...
C++: Add a new `MemoryLocation` to represent sets of `Allocation`s
2024-07-17 15:44:04 +01:00
Mathias Vorreiter Pedersen
9504e0f119
C++: Accept test changes.
2024-07-16 16:24:00 +01:00
Alexandre Boulgakov
18d9310a61
C++: Update tests to reflect on-demand indexing of special member functions.
...
None of these tests were relying on the removed rows.
2024-07-12 18:06:56 +01:00
Mathias Vorreiter Pedersen
6ef9dba2fb
C++: Accept test changes.
2024-07-04 14:22:04 +01:00
Mathias Vorreiter Pedersen
d1e1037586
C++: Accept test changes.
2024-07-04 14:22:00 +01:00
Mathias Vorreiter Pedersen
c5c4f08bea
C++: Rename from 'getAllocation' to 'getAnAllocation'.
2024-07-04 12:12:00 +01:00
Mathias Vorreiter Pedersen
4953e7e7fa
C++: Add tests.
2024-07-04 12:11:50 +01:00
Jeroen Ketema
4488518838
C++: Update expected test results
2024-06-06 21:12:34 +02:00
Mathias Vorreiter Pedersen
48f2fd0460
C++: Accept IR changes.
2024-06-06 09:52:35 +01:00
Mathias Vorreiter Pedersen
af4d2f1ed3
C++: Add an IR test.
2024-06-06 09:48:03 +01:00
Jeroen Ketema
d68d2cca41
C++: Fix destructor translation for handlers
2024-05-08 19:26:56 +02:00
Jeroen Ketema
1a53b923a6
C++: Ensure destructors for ifs are called after both branches
2024-05-08 14:48:28 +02:00
Jeroen Ketema
fa06d88642
C++: Add forgotten getLastChild to TranslatedConstExprIfStmt
2024-05-08 14:07:29 +02:00
Jeroen Ketema
6575927630
C++: Add IR tests demonstrating some inconsistencies that may occur
2024-05-08 11:43:58 +02:00
Jeroen Ketema
2dcb55cc42
C++: Add bool operator to IR test
2024-05-08 11:38:50 +02:00
Jeroen Ketema
61580da14d
C++: Update test results after extractor changes
2024-05-08 08:43:20 +02:00
Jeroen Ketema
8198b1a6ef
Merge pull request #16426 from jketema/destructors-ranged-based-cleanup
...
C++: Update test results after extractor changes
2024-05-07 13:11:00 +02:00
Jeroen Ketema
4eea214cb4
C++: Update test results after extractor changes
2024-05-07 11:10:07 +02:00
Jeroen Ketema
9b23635d0a
C++: Add test case that shows that no destructors are attached to unwinds
2024-05-06 17:47:55 +02:00
Jeroen Ketema
ba64cf3016
C++: Correctly handle destructors at the end of range-based for-loops in the IR
2024-05-03 14:38:37 +02:00
Jeroen Ketema
5843326b5c
C++: Update IR tests after better handling of init statements in the extractor
2024-04-30 21:12:30 +02:00
Mathias Vorreiter Pedersen
07dd6d5c8d
C++: Align 'break' statements.
2024-04-30 16:40:23 +01:00
Mathias Vorreiter Pedersen
cf025e1924
C++: Accept test changes.
2024-04-30 15:47:53 +01:00
Mathias Vorreiter Pedersen
c5a87c95d8
C++: Add tests that incorrectly call destructors twice.
2024-04-30 15:39:00 +01:00
