Mathias Vorreiter Pedersen 5c494c3f66 C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.

2025-01-17 13:07:41 +00:00

..

Guards.expected

C++: Add test cases with missing inferred equalities.

2025-01-17 13:01:03 +00:00

Guards.ql

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

GuardsCompare.expected

C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.

2025-01-17 13:07:41 +00:00

GuardsCompare.ql

C++: Extend tests to also test the new predicates and accept test changes.

2024-03-19 17:09:22 +00:00

GuardsControl.expected

C++: Add test cases with missing inferred equalities.

2025-01-17 13:01:03 +00:00

GuardsControl.ql

C++: Change the testcase so that it outputs the controlling values for switch statements as well.

2024-03-15 17:05:42 +00:00

GuardsEnsure.expected

C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.

2025-01-17 13:07:41 +00:00

GuardsEnsure.ql

C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.

2024-04-26 16:11:19 +01:00

test.c

C++: Add more tests.

2025-01-16 17:25:39 +00:00

test.cpp

C++: Add test cases with missing inferred equalities.

2025-01-17 13:01:03 +00:00