3296 Commits

Author	SHA1	Message	Date
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
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	a9af28ede0	C++: Drive-by fix. This is not needed anymore after #16345	2024-06-04 17:19:40 +01:00
Owen Mansel-Chan	3fb5ad2a0d	Cover all params in QLDoc of modelCoverage	2024-06-04 17:06:00 +01:00
Geoffrey White	38c47a4b11	C++: Add change notes.	2024-06-04 10:47:25 +01:00
Geoffrey White	79e9198b20	C++: An empty models-as-data namespace / type is not 'dubious' in CPP.	2024-06-04 10:21:06 +01:00
Geoffrey White	f479649727	C++: Add Boost::Asio models.	2024-06-04 10:21:05 +01:00
Geoffrey White	94413c8c2e	C++: Implement YML extension models.	2024-06-03 13:49:38 +01:00
Cornelius Riemenschneider	60b5317c5f	C++: Move to new packaging rules.	2024-05-30 14:25:15 +02:00
github-actions[bot]	906b65d09c	Post-release preparation for codeql-cli-2.17.4	2024-05-28 18:02:25 +00:00
github-actions[bot]	33b4ae8bbb	Release preparation for version 2.17.4	2024-05-28 15:44:32 +00:00
Anders Schack-Mulligen	8085460e4a	C++/Shared: Fix join order issues.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	1432519cc2	Dataflow: Add totalorder predicates to all languages.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	bc8ca1af86	Dataflow: Introduce NodeRegions for use in isUnreachableInCall.	2024-05-27 11:01:51 +02:00
Dave Bartolomeo	613ccaac1d	Add change note to all v1.0.0 packs	2024-05-23 13:01:22 -04:00
Dave Bartolomeo	ffe4c8c87b	Update all pack versions to 1.0.0	2024-05-22 13:39:08 -04:00
Mathias Vorreiter Pedersen	09357e15b4	Merge pull request #16533 from MathiasVP/better-negation-guards-in-c ... C++: Make `IRGuardCondition` handle `p` in `if(p)` and `if(!p)` better in C programs	2024-05-22 13:02:06 +01:00
Tom Hvitved	454687d583	Data flow: Synthesize parameter return nodes	2024-05-21 14:47:42 +02:00
Mathias Vorreiter Pedersen	0a550bb919	C++: Support 'if(!p)' for C programs in IRGuards.	2024-05-20 22:28:17 +01:00
Mathias Vorreiter Pedersen	398b90a15d	C++: Rename a few predicates.	2024-05-20 17:15:20 +01:00
Chuan-kai Lin	f1047606ad	Merge pull request #16418 from github/cklin/cpp-entities-reorder ... C++: Use entities in reorder directives	2024-05-17 06:43:07 -07:00
Mathias Vorreiter Pedersen	64b8f97d39	Merge pull request #16495 from MathiasVP/delete-duplicated-conjunction	2024-05-15 09:37:46 +01:00
Mathias Vorreiter Pedersen	a1cb419902	C++: Delete duplicated case in IR generation.	2024-05-15 08:52:56 +01:00
github-actions[bot]	32e8b5c667	Post-release preparation for codeql-cli-2.17.3	2024-05-14 21:14:08 +00:00
github-actions[bot]	100166fa53	Release preparation for version 2.17.3	2024-05-14 19:23:18 +00:00
Jeroen Ketema	4dfcdbccd7	Merge pull request #16459 from jketema/handler-fix ... C++: Fix destructor translation for handlers	2024-05-09 10:23:07 +02:00
Jeroen Ketema	9e09c5a6cf	C++: Fix copy and paste error in comment	2024-05-08 22:11:19 +02:00
Jeroen Ketema	d68d2cca41	C++: Fix destructor translation for handlers	2024-05-08 19:26:56 +02:00
Jeroen Ketema	0cbedfb28c	Merge pull request #16455 from jketema/if-fix ... C++: Ensure destructors for ifs are called after both branches and for both if and constexpr if	2024-05-08 19:15:28 +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	52db1c1253	C++: Introduce abstract class to share code between if and constexpr if	2024-05-08 14:16:19 +02:00
Jeroen Ketema	fa06d88642	C++: Add forgotten getLastChild to TranslatedConstExprIfStmt	2024-05-08 14:07:29 +02:00
Mathias Vorreiter Pedersen	65645821be	C++: Remove the 'BaseSourceVariableInstruction' column as it's functionally determined by the address column.	2024-05-08 10:00:48 +01:00
Mathias Vorreiter Pedersen	07d51a55fd	C++: Assign a meaningful definition location to the address of an SSA variable when it's available.	2024-05-07 09:10:58 +01:00
Chuan-kai Lin	ca9567debc	C++: Use entities in reorder directives	2024-05-03 11:14:41 -07:00
Mathias Vorreiter Pedersen	5d5e31378b	Merge pull request #16415 from MathiasVP/cleanup-ir-variables	2024-05-03 18:49:11 +01:00
Mathias Vorreiter Pedersen	d5475c4a89	C++: Delete predicate that I introduced by mistake.	2024-05-03 14:48:01 +01:00
Mathias Vorreiter Pedersen	7ca54a6f94	C++: Sync identical files.	2024-05-03 13:51:04 +01:00
Mathias Vorreiter Pedersen	e8cb8b4f81	C++: Convert IR variables to an abstract base class and use final alias'ing to ensure that we don't accidentially extend the abstract base class.	2024-05-03 13:50:50 +01: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
Mathias Vorreiter Pedersen	f7113e0105	Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow ... C++: Clean up SSA and stop relying on memory edges for iterator flow	2024-05-02 14:21:25 +01:00
Mathias Vorreiter Pedersen	b912918d8b	C++: Fix QLDoc.	2024-05-02 13:32:52 +01:00
Mathias Vorreiter Pedersen	322fa36359	C++: Fix QLDoc.	2024-05-02 10:37:49 +01:00
Mathias Vorreiter Pedersen	4a47e11a16	C++: Fix QLDoc.	2024-05-02 10:36:40 +01:00