Mathias Vorreiter Pedersen 93346a574f C++: Add a new 'Location.isBefore' predicate that also considers columns.

2022-03-22 12:16:53 +00:00

..

aliased_ssa_consistency_unsound.expected

C++: Add IR tests exposing incorrect translation due to unhandled bitwise copy

2022-03-15 23:22:37 +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++: Add IR tests exposing incorrect translation due to unhandled bitwise copy

2022-03-15 23:22:37 +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++ IR: Improve ErrorExpr test

2019-07-09 13:35:20 +02: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

ir.cpp

C++: Add example of 'goto' on the same line as the destination label.

2022-03-22 12:11:29 +00:00

operand_locations.expected

C++: Add example of 'goto' on the same line as the destination label.

2022-03-22 12:11:29 +00:00

operand_locations.ql

fix PrintAST test run

2021-11-23 15:28:15 +00: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 example of 'goto' on the same line as the destination label.

2022-03-22 12:11:29 +00:00

PrintAST.ql

patch upper-case acronyms to be PascalCase

2022-03-11 11:10:33 +01:00

PrintConfig.qll

fix PrintAST test run

2021-11-23 15:28:15 +00:00

raw_consistency.expected

C++: Update IR tests for handling of bitwise copy with explicit source

2022-03-15 23:22:37 +01:00

raw_consistency.qlref

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

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

raw_ir.expected

C++: Add a new 'Location.isBefore' predicate that also considers columns.

2022-03-22 12:16:53 +00:00

raw_ir.ql

C++: Generate IR side effects for smart pointer indirections

2021-05-07 16:50:03 -04: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

unaliased_ssa_consistency_unsound.expected

C++: Add IR tests exposing incorrect translation due to unhandled bitwise copy

2022-03-15 23:22:37 +01: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 exposing incorrect translation due to unhandled bitwise copy

2022-03-15 23:22:37 +01: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