7 Commits

Author	SHA1	Message	Date
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	796041af72	C++: Refactor PartialDefinition charpred ... This class used `newtype` for seemingly no reason. The new code is shorter and should be faster as well.	2020-04-28 17:10:25 +02:00
Jonas Jensen	d6fba0ef46	C++: Don't create partial defs for calls to const ... These partial defs don't do any harm, but they could hurt performance. In typical C++ snapshots, between 5% and 20% of all calls are to `const` functions.	2019-09-10 09:49:16 +02:00
Jonas Jensen	fd3615d120	C++: Show that there are too many partial defs	2019-09-10 09:44:07 +02:00
Geoffrey White	84da3e3431	CPP: Effect of 'Support nested field flow'.	2019-09-03 09:27:50 +01:00
Geoffrey White	8105d153b1	CPP: Add a test of PartialDefinitions.	2019-09-03 09:27:50 +01:00