ref: 6fab44640c8c962e3e4c818761a948b12849931d
parent: c8f321d7aa56fa9bc464e1c2ff7de6c4c7031962
author: cinap_lenrek <cinap_lenrek@felloff.net>
date: Tue May 6 17:36:28 EDT 2014
cc: fix spurious warning on comparsion with scope redeclared variable (thanks aiju)
> warning: a.c:9 useless or misleading comparison: UINT < 0
the error can be observed by compiling the following code
with warnings enabled:
#include <u.h>
#include <libc.h>
uint r;
void
main(int argc, char *argv[])
{
int r;
if(r < 0){
exits(0);
}
}
the offending code in the compiler is:
- if(l->op == ONAME && l->sym->type){
- lt = l->sym->type;
- if(lt->etype == TARRAY)
- lt = lt->link;
- }
compiler handles scope by overwritin and reverting
symbols while parsing. in the ccom phase, the nodes symbol
(n->sym) is not in the right scope and we wrongly think r
is uint instead of int.
it is not clear to me what this code tried to accomplish in
the first place nor could anyone answer me this question.
the risk is small as this change doesnt affect the compiled
program, only the warning, so removing the offending code.
--- a/sys/src/cmd/cc/com.c
+++ b/sys/src/cmd/cc/com.c
@@ -1370,11 +1370,6 @@
if(l->op == OCONST)
return 0;
lt = l->type;
- if(l->op == ONAME && l->sym->type){- lt = l->sym->type;
- if(lt->etype == TARRAY)
- lt = lt->link;
- }
if(lt == T)
return 0;
if(lt->etype == TXXX || lt->etype > TUVLONG)
--
⑨