diff options
Diffstat (limited to 'src/cmd/compile')
| -rw-r--r-- | src/cmd/compile/internal/ssa/prove.go | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go index a11b46566d..371009a57d 100644 --- a/src/cmd/compile/internal/ssa/prove.go +++ b/src/cmd/compile/internal/ssa/prove.go @@ -704,6 +704,9 @@ func addBranchRestrictions(ft *factsTable, b *Block, br branch) { // When we branched from parent we learned a new set of // restrictions. Update the factsTable accordingly. d := tr.d + if d == signed && ft.isNonNegative(c.Args[0]) && ft.isNonNegative(c.Args[1]) { + d |= unsigned + } switch br { case negative: switch b.Control.Op { // Special cases |