diff options
| author | Giovanni Bajo <rasky@develer.com> | 2018-03-13 00:21:57 +0100 |
|---|---|---|
| committer | Giovanni Bajo <rasky@develer.com> | 2018-03-24 03:06:01 +0000 |
| commit | 385d936fb287cfe3a491ced2d77d52d71b7705a8 (patch) | |
| tree | 4d5c1137911a0412ca0b7adb602156d5072efeef /src/database/sql | |
| parent | 79112707bb27bfe28aeb57ac427af244d6d20b96 (diff) | |
| download | go-385d936fb287cfe3a491ced2d77d52d71b7705a8.tar.xz | |
cmd/compile: in prove, fail fast when unsat is found
When an unsatisfiable relation is recorded in the facts table,
there is no need to compute further relations or updates
additional data structures.
Since we're about to transitively propagate relations, make
sure to fail as fast as possible to avoid doing useless work
in dead branches.
Passes toolstash -cmp.
Change-Id: I23eed376d62776824c33088163c7ac9620abce85
Reviewed-on: https://go-review.googlesource.com/100275
Reviewed-by: Austin Clements <austin@google.com>
Diffstat (limited to 'src/database/sql')
0 files changed, 0 insertions, 0 deletions