7 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	dbcd4d6d5d	C++: Remove 'ReferenceToInstruction' from the list of instructions we interpret as a load. This makes use lose a bunch of flow, and we'll restore this flow in the next commit.	2021-11-11 10:38:52 +00:00
Mathias Vorreiter Pedersen	21a1ee7758	C++: Add annoying case in SSA.qll related to 'NewExpr' and accept test changes.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Dave Bartolomeo	1d0cb0407d	Merge from main	2021-04-20 23:37:04 -04:00
Mathias Vorreiter Pedersen	09ba25fe9b	C++: Accept test changes. I'm actually not sure why we lose these results (and lose the field conflation, yay) It might be due to #3364.	2021-03-30 10:24:01 +02:00
Mathias Vorreiter Pedersen	5a4efab742	C++: Add tests for shared_ptr.	2021-03-29 18:04:20 +02:00
Mathias Vorreiter Pedersen	8dc7b6403a	C++: Add shared_ptr and unique_ptr implementations. Also add some very basic tests.	2021-03-26 12:03:59 +01:00