| commit | 8b9761209c2d17a8a4a81057da652e48e25ebc60 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 3 Apr 2014 12:28:32 +0000 (3 14:28 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 20 Jun 2014 15:31:13 +0000 (20 17:31 +0200) | ||
| tree | a7662d50056c2b131efd9b80a06dac479152701c | treesnapshot (tar.gz zip) |
| parent | 79ccc22fa3e46e26d9dcd842b40bb7eb233e3e6f | commitdiff |
pet_expr_access_set_access: set read/write on non-empty access relation
For consistency, we should mark an access expression as reading/writing
as soon as one of its reading/writing access relations is non-empty.
This change does not have any effect at the moment, but when we start
handling function summaries, it will be convenient to have the read/write
attributes automatically updated when we set one of the reading or writing
access relations to a non-empty relation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
For consistency, we should mark an access expression as reading/writing
as soon as one of its reading/writing access relations is non-empty.
This change does not have any effect at the moment, but when we start
handling function summaries, it will be convenient to have the read/write
attributes automatically updated when we set one of the reading or writing
access relations to a non-empty relation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| expr.c | diffblobblamehistory |