code review 7313062: exp/ssa/interp: (#6 of 5): test interpretation of SSA f...

test/cmp.go

 // run
 
 // Copyright 2009 The Go Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style
 // license that can be found in the LICENSE file.
 
 // Test equality and inequality operations.
 
 package main
 
-import "unsafe"
+import (
+        "os"
+        "unsafe"
+)
 
 var global bool
+
 func use(b bool) { global = b }
 
 func stringptr(s string) uintptr { return *(*uintptr)(unsafe.Pointer(&s)) }
 
 func isfalse(b bool) {
         if b {
                 // stack will explain where
                 panic("wanted false, got true")
         }
 }
 
 func istrue(b bool) {
         if !b {
                 // stack will explain where
                 panic("wanted true, got false")
         }
 }
 
 type T *int
 
 func main() {
         var a []int
         var b map[string]int
 
         var c string = "hello"
         var d string = "hel" // try to get different pointer
         d = d + "lo"
-        if stringptr(c) == stringptr(d) {
-                panic("compiler too smart -- got same string")
+
+        // exp/ssa/interp can't handle unsafe.Pointer.
+        if os.Getenv("GOSSAINTERP") != "" {
+                if stringptr(c) == stringptr(d) {
+                        panic("compiler too smart -- got same string")
+                }
         }
 
         var e = make(chan int)
 
         var ia interface{} = a
         var ib interface{} = b
         var ic interface{} = c
         var id interface{} = d
         var ie interface{} = e
 
@@ skipping 223 matching lines @@
                 isfalse(x != iz)
                 isfalse(z != ix)
 
                 istrue(ix != y)
                 istrue(iy != x)
                 istrue(iy != z)
                 istrue(iz != y)
                 isfalse(ix != z)
                 isfalse(iz != x)
         }
-        
+
         // structs with _ fields
         {
                 var x = struct {
                         x int
                         _ []int
                         y float64
                         _ float64
                         z int
                 }{
                         x: 1, y: 2, z: 3,
                 }
                 var ix interface{} = x
-                
+
                 istrue(x == x)
                 istrue(x == ix)
                 istrue(ix == x)
                 istrue(ix == ix)
         }
 
         // arrays
         {
                 var x = [2]string{"1", "hi"}
                 var y = [2]string{"2", "bye"}
@@ skipping 102 matching lines @@
 }
 
 func shouldPanic(f func()) {
         defer func() {
                 if recover() == nil {
                         panic("function should panic")
                 }
         }()
         f()
 }