Mathias Vorreiter Pedersen 28391d19b6 C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

..

aliased_ir.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

aliased_ir.ql

CPP:Add tests for the aliased IR.

2023-09-07 13:42:31 +01:00

aliased_ssa_consistency_unsound.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

aliased_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

aliased_ssa_consistency.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

aliased_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

aliased_ssa_ssa_consistency_unsound.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

aliased_ssa_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

aliased_ssa_ssa_consistency.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

aliased_ssa_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

bad_asts.cpp

C++: Split bad_asts.cpp IR test into two files

2023-01-17 18:57:29 +01:00

bad_stmts.cpp

C++: Split bad_asts.cpp IR test into two files

2023-01-17 18:57:29 +01:00

clang.cpp

C++ IR: Support __builtin_addressof

2019-07-05 11:05:00 +02:00

complex.c

C++: IR construction for _Imaginary types

2020-04-16 11:58:09 -04:00

coroutines.cpp

C++: Add some simple coroutine tests.

2024-04-02 18:02:43 +01:00

destructors_for_temps.cpp

C++: Add testcase with two destructor calls without a temporary object expression at the top-level.

2024-04-08 15:35:33 +01:00

generic.c

C++: Add C11 _Generic IR tests

2024-08-30 10:50:49 +02:00

ir.c

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

ir.cpp

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

many-defs-per-use.cpp

C++: Re-introduce the original version of the many_defs_per_use IR test

2024-09-06 17:38:29 +02:00

perf-regression.cpp

C++ IR: Fix performance of large array value init

2019-08-06 14:50:57 +02:00

PrintAST.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

PrintAST.ql

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

PrintConfig.qll

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

raw_consistency.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

raw_consistency.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

raw_ir.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

raw_ir.ql

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

smart_ptr.cpp

C++: Add tests involving various non-const and const smart pointers.

2021-06-04 18:46:05 +02:00

struct_init.cpp

C++: Test for constant static initializer

2020-03-06 15:05:28 +01:00

try_except.c

C++: Add another test case with a throw.

2022-12-22 09:38:57 +00:00

try_except.cpp

C++: Fix IR inconsistency due to throwing __except block

2024-09-10 12:41:43 +02:00

unaliased_ssa_consistency_unsound.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

unaliased_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

unaliased_ssa_consistency.expected

C++: Add some more tests to expose consistency issues.

2024-11-18 15:25:57 +00:00

unaliased_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

unaliased_ssa_ssa_consistency_unsound.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

unaliased_ssa_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

unaliased_ssa_ssa_consistency.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

unaliased_ssa_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00