diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-08-04 20:32:12 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-08-04 20:32:12 +0000 |
commit | 64eed3f20f1688bef9698c0f2a2e7c47fc5a2c4d (patch) | |
tree | bef2d6f5b21dc7070603f38cc5be617d3fad78c6 /yacc | |
parent | 1714cfa5ec0e008912d27f91bc138481e7330250 (diff) | |
download | ocaml-64eed3f20f1688bef9698c0f2a2e7c47fc5a2c4d.tar.gz |
fix an issue spotted by the Clang analyzer (assigned value never read)
yacc/reader.c:922:9: warning: Value stored to 'value' is never read
value = UNDEFINED;
^ ~~~~~~~~~
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'yacc')
-rw-r--r-- | yacc/reader.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/yacc/reader.c b/yacc/reader.c index 573a9744ae..600c909836 100644 --- a/yacc/reader.c +++ b/yacc/reader.c @@ -869,7 +869,6 @@ void declare_tokens(int assoc) { register int c; register bucket *bp; - int value; char *tag = 0; if (assoc != TOKEN) ++prec; @@ -919,10 +918,9 @@ void declare_tokens(int assoc) c = nextc(); if (c == EOF) unexpected_EOF(); - value = UNDEFINED; if (isdigit(c)) { - value = get_number(); + int value = get_number(); if (bp->value != UNDEFINED && value != bp->value) revalued_warning(bp->name); bp->value = value; |