Mathias Vorreiter Pedersen 806d42852c C++: Add test in C file with pointer type guard.

2024-04-30 11:33:22 +01:00

..

Guards.expected

C++: Add test in C file with pointer type guard.

2024-04-30 11:33:22 +01:00

Guards.ql

C++: Autoformat everything

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

GuardsCompare.expected

C++: Accept test changes.

2024-04-26 16:19:33 +01: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 in C file with pointer type guard.

2024-04-30 11:33:22 +01: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++: Accept test changes.

2024-04-26 16:19:33 +01: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 test in C file with pointer type guard.

2024-04-30 11:33:22 +01:00

test.cpp

C++: Add a test with pointer comparisons and float comparisons.

2024-04-26 16:17:45 +01:00