test/fixedbugs/issue39505b.go

   1 // run
   2
   3 // Copyright 2020 The Go Authors. All rights reserved.
   4 // Use of this source code is governed by a BSD-style
   5 // license that can be found in the LICENSE file.
   6
   7 package main
   8
   9 func main() {
  10         ff := []func(){lt_f1, lt_f2, lt_f3, lt_f4, lt_f5, lt_f6, lt_f7, lt_f8, lt_f9,
  11                 gt_f1, gt_f2, gt_f3, le_f1, le_f2, le_f3, ge_f1, ge_f2, ge_f3}
  12
  13         for _, f := range ff {
  14                 f()
  15         }
  16 }
  17
  18 func lt_f1() {
  19         const c = 1
  20         var a = 0
  21         var v *int = &a
  22         if *v-c < len([]int{}) {
  23         } else {
  24                 panic("bad")
  25         }
  26 }
  27
  28 func lt_f2() {
  29         const c = 10
  30         var a = 0
  31         var v *int = &a
  32         if *v+c < len([]int{}) {
  33                 panic("bad")
  34         }
  35 }
  36
  37 func lt_f3() {
  38         const c = -10
  39         var a = 0
  40         var v *int = &a
  41         if *v|0xff+c < len([]int{}) {
  42                 panic("bad")
  43         }
  44 }
  45
  46 func lt_f4() {
  47         const c = 10
  48         var a = 0
  49         var v *int = &a
  50         if *v|0x0f+c < len([]int{}) {
  51                 panic("bad")
  52         }
  53 }
  54
  55 func lt_f5() {
  56         const c int32 = 1
  57         var a int32 = 0
  58         var v *int32 = &a
  59         if *v-c < int32(len([]int32{})) {
  60         } else {
  61                 panic("bad")
  62         }
  63 }
  64
  65 func lt_f6() {
  66         const c int32 = 10
  67         var a int32 = 0
  68         var v *int32 = &a
  69         if *v+c < int32(len([]int32{})) {
  70                 panic("bad")
  71         }
  72 }
  73
  74 func lt_f7() {
  75         const c int32 = -10
  76         var a int32 = 0
  77         var v *int32 = &a
  78         if *v|0xff+c < int32(len([]int{})) {
  79                 panic("bad")
  80         }
  81 }
  82
  83 func lt_f8() {
  84         const c int32 = 10
  85         var a int32 = 0
  86         var v *int32 = &a
  87         if *v|0x0f+c < int32(len([]int{})) {
  88                 panic("bad")
  89         }
  90 }
  91
  92 func lt_f9() {
  93         const c int32 = -10
  94         var a int32 = 0
  95         var v *int32 = &a
  96         if *v|0x0a+c < int32(len([]int{})) {
  97                 panic("bad")
  98         }
  99 }
 100
 101 func gt_f1() {
 102         const c = 1
 103         var a = 0
 104         var v *int = &a
 105         if len([]int{}) > *v-c {
 106         } else {
 107                 panic("bad")
 108         }
 109 }
 110
 111 func gt_f2() {
 112         const c = 10
 113         var a = 0
 114         var v *int = &a
 115         if len([]int{}) > *v|0x0f+c {
 116                 panic("bad")
 117         }
 118 }
 119
 120 func gt_f3() {
 121         const c int32 = 10
 122         var a int32 = 0
 123         var v *int32 = &a
 124         if int32(len([]int{})) > *v|0x0f+c {
 125                 panic("bad")
 126         }
 127 }
 128
 129 func le_f1() {
 130         const c = -10
 131         var a = 0
 132         var v *int = &a
 133         if *v|0xff+c <= len([]int{}) {
 134                 panic("bad")
 135         }
 136 }
 137
 138 func le_f2() {
 139         const c = 0xf
 140         var a = 0
 141         var v *int = &a
 142         if *v|0xf-c <= len([]int{}) {
 143         } else {
 144                 panic("bad")
 145         }
 146 }
 147
 148 func le_f3() {
 149         const c int32 = -10
 150         var a int32 = 0
 151         var v *int32 = &a
 152         if *v|0xff+c <= int32(len([]int{})) {
 153                 panic("bad")
 154         }
 155 }
 156
 157 func ge_f1() {
 158         const c = -10
 159         var a = 0
 160         var v *int = &a
 161         if len([]int{}) >= *v|0xff+c {
 162                 panic("bad")
 163         }
 164 }
 165
 166 func ge_f2() {
 167         const c int32 = 10
 168         var a int32 = 0
 169         var v *int32 = &a
 170         if int32(len([]int{})) >= *v|0x0f+c {
 171                 panic("bad")
 172         }
 173 }
 174
 175 func ge_f3() {
 176         const c = -10
 177         var a = 0
 178         var v *int = &a
 179         if len([]int{}) >= *v|0x0a+c {
 180         } else {
 181                 panic("bad")
 182         }
 183 }