Jeroen Ketema 4945943732 C++: Support C11 _Generic expressions

2024-08-30 14:24:03 +02:00

..

aliased_ir.expected

C++: Support C11 _Generic expressions

2024-08-30 14:24:03 +02: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++: Fix more inconsistencies.

2024-07-17 15:44:50 +01:00

aliased_ssa_consistency_unsound.qlref

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

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

aliased_ssa_consistency.expected

C++: Fix more inconsistencies.

2024-07-17 15:44:50 +01: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 a test.

2024-01-27 13:08:52 +00:00

ir.cpp

C++: Move large function to its own file.

2024-07-25 12:11:09 +01:00

many-defs-per-use.cpp

C++: Move large function to its own file.

2024-07-25 12:11:09 +01:00

perf-regression.cpp

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

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

PrintAST.expected

C++: Support C11 _Generic expressions

2024-08-30 14:24:03 +02: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++: Accept IR changes.

2024-06-06 09:52:35 +01:00

raw_consistency.qlref

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

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

raw_ir.expected

C++: Support C11 _Generic expressions

2024-08-30 14:24:03 +02: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++: Add another test with an _actual_ throw.

2022-12-22 10:01:41 +00:00

unaliased_ssa_consistency_unsound.expected

C++: Add IR tests demonstrating some inconsistencies that may occur

2024-05-08 11:43:58 +02: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 IR tests demonstrating some inconsistencies that may occur

2024-05-08 11:43:58 +02: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