6 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	ba395cf11a	C++: Update test annotations and accept output	2020-02-06 09:26:33 +01:00
Jonas Jensen	a61aec9e63	C++: Fix ValueNumbering for CopyInstruction ... Querying for overlap type wasn't possible when this library was first written. This change fixes FPs in `RedundantNullCheckSimple.ql` on Wireshark and other real-world projects.	2019-05-30 09:42:46 +02:00
Jonas Jensen	120df6054b	C++: Demonstrate a FP due to GVN	2019-05-30 09:41:42 +02:00
Jonas Jensen	2e7daf2308	C++: Use GVN in RedundantNullCheckSimple	2019-05-30 09:41:42 +02:00
Jonas Jensen	9f2fdbbc1d	C++: More tests for RedundantNullCheckSimple	2019-02-21 10:13:25 +01:00
Jonas Jensen	9ac8d60636	C++: IR query for redundant null check ... This new query is not written because it's the most interesting query we could write but because it's an IR-based query whose results are easy to verify.	2019-02-21 10:13:25 +01:00