| | From | Julia Lawall <> | | Subject | [PATCH 0/14] delete double assignment | | Date | Tue, 26 Oct 2010 12:25:29 +0200 |
| |
These patches fix cases where there are two adjacent assignments to the same location. In practice, many such occurrences appear to be intentional, eg to initialize volatile memory, but these cases do not seem to fall into that category.
|