Message ID | 20170706191950.81268-5-luc.vanoostenryck@gmail.com (mailing list archive) |
---|---|
State | Superseded, archived |
Headers | show |
This patch fixes a reproducible crash and have been ignored
since it has been posted two weeks ago.
Is there any reasons why?
BTW, I had forgot the SoB. Here it is:
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
diff --git a/memops.c b/memops.c index 5efdd6f2d..aeacdf566 100644 --- a/memops.c +++ b/memops.c @@ -29,6 +29,8 @@ static int find_dominating_parents(pseudo_t pseudo, struct instruction *insn, FOR_EACH_PTR_REVERSE(parent->insns, one) { int dominance; + if (!one->bb) + continue; if (one == insn) goto no_dominance; dominance = dominates(pseudo, insn, one, local); diff --git a/validation/crash-add-doms.c b/validation/crash-add-doms.c new file mode 100644 index 000000000..54ad93e84 --- /dev/null +++ b/validation/crash-add-doms.c @@ -0,0 +1,22 @@ +char a; +int b; +void c(void) +{ + if (0) { + char *d; + for (;;) + for (;;) +e: + *d *= (a && 0) ^ b && *d; + } + goto e; +} + + +/* + * check-name: crash add-doms + * check-command: test-linearize $file + * + * check-error-ignore + * check-output-ignore + */