8 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	091e3a2931	Dataflow: Adjust test output.	2020-10-09 16:25:14 +02:00
Rasmus Lerchedahl Petersen	750735c70c	Dataflow: Update test expectations	2020-08-28 15:00:01 +02:00
Tom Hvitved	de3dc734ff	C++: Follow-up changes	2020-06-30 17:44:16 +02:00
Jonas Jensen	9153f568be	C++: Accept test results with location fixes	2020-05-28 09:42:49 +02:00
Jonas Jensen	1b1095ee75	C++: Post-update flow through &, *, +, ... ... Flow from a definition by reference of a field into its object was working inconsistently and in a very syntax-dependent way. For a function `f` receiving a reference, `f(a->x)` could propagate data back to `a` via the _reverse read_ mechanism in the shared data-flow library, but for a function `g` receiving a pointer, `g(&a->x)` would not work. And `f((*a).x)` would not work either. In all cases, the issue was that the shared data-flow library propagates data backwards between `PostUpdateNode`s only, but there is no `PostUpdateNode` for `a->x` in `g(&a->x)`. This pull request inserts such post-update nodes where appropriate and links them to their neighbors. In this exapmle, flow back from the output parameter of `g` passes first to the `PostUpdateNode` of `&`, then to the (new) `PostUpdateNode` of `a->x`, and finally, as a _reverse read_ with the appropriate field projection, to `a`.	2020-05-01 15:40:19 +02:00
Jonas Jensen	4ddf12119d	C++: Don't suppress consistency checks for calls ... See https://github.com/github/codeql/pull/3162#discussion_r400849713.	2020-05-01 11:04:42 +02:00
Jonas Jensen	dd322be238	C++: Remove noise from argHasPostUpdate check ... This consistency check seems to have value for AST data flow, but I've disabled it on the IR for now. This commit also includes two unrelated changes that seem to fix a semantic merge conflict.	2020-03-30 15:51:11 +02:00
Anders Schack-Mulligen	85d6b7c2ed	C++: Add tests.	2020-03-11 10:49:21 +01:00