diff options
author | Ori Bernstein <ori@eigenstate.org> | 2017-07-10 22:19:21 -0700 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2017-07-10 22:20:08 -0700 |
commit | 279038538923c87b8aa0ac155fc48ee95f7f9b59 (patch) | |
tree | 26ecaa2c6064bf6d4032a5a0de86179c1e6d4454 /mi | |
parent | 551d87b88e124e57e95b051539cfddbe8ea62180 (diff) | |
download | mc-279038538923c87b8aa0ac155fc48ee95f7f9b59.tar.gz |
Clean up conditions in trait satisfaction.
Diffstat (limited to 'mi')
-rw-r--r-- | mi/dfcheck.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mi/dfcheck.c b/mi/dfcheck.c index b43ef9c..fc9664c 100644 --- a/mi/dfcheck.c +++ b/mi/dfcheck.c @@ -29,7 +29,8 @@ checkundef(Node *n, Reaching *r, Bitset *reach, Bitset *kill) return; for (j = 0; j < r->ndefs[did]; j++) { t = tybase(exprtype(n)); - if (t->type == Tystruct || t->type == Tyunion || t->type == Tyarray || t->type == Tytuple || t->type == Tyvoid) + if (t->type == Tystruct || t->type == Tyunion || t->type == Tyarray || + t->type == Tytuple || t->type == Tyvoid) continue; if (bshas(kill, r->defs[did][j])) continue; |