5840 Commits

Author	SHA1	Message	Date
Jeroen Ketema	9228304294	Merge branch 'main' into cpp/simple-range-analysis-phi-divide	2026-02-20 16:25:26 +01:00
Mathias Vorreiter Pedersen	1dba99f47d	Merge pull request #21292 from microsoft/UncheckedLeaprYearAfterModification_Refactor_Upstream ... C++: Refactor of UncheckedLeapYearAfterModification	2026-02-20 12:11:45 +00:00
REDMOND\brodes	38219f6ebb	C++: Fixing FP in unit tests.	2026-02-19 14:08:36 -05:00
Geoffrey White	d7250a8abe	Address more non-ascii characters.	2026-02-18 11:23:01 +00:00
Jeroen Ketema	e299cccb6e	C++: Simplify test	2026-02-16 19:09:30 +01:00
Jeroen Ketema	4efbc6ea9b	C++: Handle allowInterproceduralFlow correctly in case of recursive functions	2026-02-16 19:04:23 +01:00
Jeroen Ketema	366ebcad83	C++: Add cpp/return-stack-allocated-memory test case	2026-02-16 18:58:39 +01:00
Simon Friis Vindum	d0681c6ffb	C++: Divide nr of bounds between branches for phi nodes	2026-02-16 14:36:09 +01:00
Simon Friis Vindum	032c7ea034	C++: Include the actual number of lower/upper bounds for added context in expected files	2026-02-16 14:36:08 +01:00
Simon Friis Vindum	da527ffc19	C++: Add simple range analysis test with repeated if-else statements	2026-02-16 14:36:06 +01:00
Mathias Vorreiter Pedersen	5ccd61ac97	C++: Respond to review comments.	2026-02-16 09:49:31 +00:00
Mathias Vorreiter Pedersen	bfbb2eef6c	C++: Add a test showing that we infer a lower and upper bound for parameters of enum types.	2026-02-16 09:38:15 +00:00
Mathias Vorreiter Pedersen	2dc91a56eb	C++: Lower the treshold for max number of bounds to 2^29.	2026-02-12 09:44:20 +00:00
Mathias Vorreiter Pedersen	6dd6bddff3	C++: Add more terms to make range analysis test timeout.	2026-02-12 09:44:17 +00:00
Mathias Vorreiter Pedersen	a4dd4f91d4	C++: Also compute type bounds for accesses of an enum type.	2026-02-12 09:44:14 +00:00
Mathias Vorreiter Pedersen	b14ece72be	C++: Add range analysis test demonstrating missing measuring bounds.	2026-02-11 16:58:18 +00:00
REDMOND\brodes	8e36316ebf	C++: Addressing Copilot PR suggestions.	2026-02-09 10:42:34 -05:00
REDMOND\brodes	36cc20989c	C++: Accept test changes (removing false negative)	2026-02-06 16:11:51 -05:00
REDMOND\brodes	a534d26449	C++: Accept test changes.	2026-02-06 16:07:44 -05:00
REDMOND\brodes	d9feadcfec	C++. Accept test changes. One false positive introduced, and one false negative remains.	2026-02-06 16:05:38 -05:00
REDMOND\brodes	6c171c804f	C++: Add more tests for modified years with and without leap year checks (UncheckedLeapYearAfterYearModification). Switch to using 'postprocess' for unit tests.	2026-02-06 16:03:25 -05:00
Mathias Vorreiter Pedersen	092d25451f	C++: Fix Copilot comments.	2026-02-03 11:45:30 +00:00
Mathias Vorreiter Pedersen	40a58135c2	C++: Accept test changes.	2026-02-03 11:30:55 +00:00
Mathias Vorreiter Pedersen	5531ef9bc1	C++: Accept test changes.	2026-02-03 11:17:23 +00:00
Mathias Vorreiter Pedersen	208cf716dc	C++: Add tests with tests for remote flow sources from the Win32 API and from the Azure SDK.	2026-02-03 11:13:45 +00:00
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