8 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	4be02a9463	C++: Use new syntax in field-flow tests	2020-10-29 08:48:37 +01:00
Robert Marsh	53a87fa378	C++: accept field flow test changes after merge	2020-06-05 15:41:10 -07:00
Mathias Vorreiter Pedersen	1c2b8563ae	C++: Remove 'flow' value from testcases	2020-05-14 15:33:02 +02:00
Mathias Vorreiter Pedersen	f5f3405ec3	C++: Modify IR field flow tests to use InlineExpectationsTest.qll	2020-05-14 11:11:21 +02:00
Mathias Vorreiter Pedersen	34314d0cb6	C++: Annotation field flow tests with [IR] and [AST]	2020-05-13 15:16:02 +02:00
Jonas Jensen	503cbf13bb	C++: Flow from parameters to ConstructorFieldInit ... Because `ConstructorFieldInit` (member initializer lists) are not part of the control flow graph, there was no data flow from the initial value of parameters to their uses in member initializers. This commit adds the necessary flow under the assumption that parameters are not overwritten in member initializers.	2019-08-16 09:10:31 +02:00
Jonas Jensen	6a3f5efc1b	C++: Accept AST field flow test output	2019-08-08 14:05:03 +02:00
Pavel Avgustinov	79d75d7d18	Add extra test cases	2019-08-08 14:05:03 +02:00