diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | mfd/drivers.c | 10 |
2 files changed, 12 insertions, 3 deletions
@@ -1,5 +1,10 @@ 2008-11-02 Sergey Poznyakoff <gray@gnu.org.ua> + Minor fix. + + * mfd/drivers.c (mark_type_asgn): Mark variable as referenced if + it is assigned a value. + Get rid of ml_header. Gacopyz takes care about the header formatting. diff --git a/mfd/drivers.c b/mfd/drivers.c index c3ed92b2..5ecaad07 100644 --- a/mfd/drivers.c +++ b/mfd/drivers.c @@ -1168,9 +1168,13 @@ print_type_asgn(NODE *node, int level) void mark_type_asgn(NODE *node) { - /* FIXME: That's not quite right. The node should be marked - only if var is referenced or volatile, but determining this - would probably require an extra pass. */ + /* FIXME: This is overly conservative. First of all, `referenced' + does not mean `used', so this can create useless assignments, + even if the variable in question is not referenced elsewhere: */ + node->v.asgn.var->flags |= VAR_REFERENCED; + /* Secondly, the node should be marked only if var is referenced + or volatile, but determining this would probably require an + extra pass. */ mark(node->v.asgn.node); } |