diff options
| author | Jackson Schuster <36744439+jtschuster@users.noreply.github.com> | 2022-08-12 21:22:45 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-12 21:22:45 +0300 |
| commit | 1ef0acf496369c15911dd5fe78e2d100659fa389 (patch) | |
| tree | 0cfd25aef8d94fa95cf6530fe255bca91f2c012d /src/linker/Linker/MessageOrigin.cs | |
| parent | d559347987ba45c0dc3389cb96dce1ae20204513 (diff) | |
Dataflow support for ref fields (#2947)
Adds support and basic tests for ref fields. The tests ensure that a value written to an ref field is properly annotated, or an address written to a ref field has a properly annotated value, but there are some holes that can be created by assigning the address of a local or over-annotated value to an annotated ref field.
Diffstat (limited to 'src/linker/Linker/MessageOrigin.cs')
0 files changed, 0 insertions, 0 deletions