modernc.org/gc@v1.0.1-0.20240304020402-f0dba7c97c2b/testdata/errchk/test/escape_map.go (about) 1 // errorcheck -0 -m -l 2 3 // Copyright 2015 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 // Test escape analysis for maps. 8 9 package escape 10 11 var sink interface{} 12 13 func map0() { 14 m := make(map[*int]*int) // ERROR "make\(map\[\*int\]\*int\) does not escape" 15 // BAD: i should not escape 16 i := 0 // ERROR "moved to heap: i" 17 // BAD: j should not escape 18 j := 0 // ERROR "moved to heap: j" 19 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 20 _ = m 21 } 22 23 func map1() *int { 24 m := make(map[*int]*int) // ERROR "make\(map\[\*int\]\*int\) does not escape" 25 // BAD: i should not escape 26 i := 0 // ERROR "moved to heap: i" 27 j := 0 // ERROR "moved to heap: j" 28 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 29 return m[&i] // ERROR "&i does not escape" 30 } 31 32 func map2() map[*int]*int { 33 m := make(map[*int]*int) // ERROR "make\(map\[\*int\]\*int\) escapes to heap" 34 i := 0 // ERROR "moved to heap: i" 35 j := 0 // ERROR "moved to heap: j" 36 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 37 return m 38 } 39 40 func map3() []*int { 41 m := make(map[*int]*int) // ERROR "make\(map\[\*int\]\*int\) does not escape" 42 i := 0 // ERROR "moved to heap: i" 43 // BAD: j should not escape 44 j := 0 // ERROR "moved to heap: j" 45 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 46 var r []*int 47 for k := range m { 48 r = append(r, k) 49 } 50 return r 51 } 52 53 func map4() []*int { 54 m := make(map[*int]*int) // ERROR "make\(map\[\*int\]\*int\) does not escape" 55 // BAD: i should not escape 56 i := 0 // ERROR "moved to heap: i" 57 j := 0 // ERROR "moved to heap: j" 58 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 59 var r []*int 60 for k, v := range m { 61 // We want to test exactly "for k, v := range m" rather than "for _, v := range m". 62 // The following if is merely to use (but not leak) k. 63 if k != nil { 64 r = append(r, v) 65 } 66 } 67 return r 68 } 69 70 func map5(m map[*int]*int) { // ERROR "m does not escape" 71 i := 0 // ERROR "moved to heap: i" 72 j := 0 // ERROR "moved to heap: j" 73 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 74 } 75 76 func map6(m map[*int]*int) { // ERROR "m does not escape" 77 if m != nil { 78 m = make(map[*int]*int) // ERROR "make\(map\[\*int\]\*int\) does not escape" 79 } 80 i := 0 // ERROR "moved to heap: i" 81 j := 0 // ERROR "moved to heap: j" 82 m[&i] = &j // ERROR "&i escapes to heap" "&j escapes to heap" 83 } 84 85 func map7() { 86 // BAD: i should not escape 87 i := 0 // ERROR "moved to heap: i" 88 // BAD: j should not escape 89 j := 0 // ERROR "moved to heap: j" 90 m := map[*int]*int{&i: &j} // ERROR "&i escapes to heap" "&j escapes to heap" "literal does not escape" 91 _ = m 92 } 93 94 func map8() { 95 i := 0 // ERROR "moved to heap: i" 96 j := 0 // ERROR "moved to heap: j" 97 m := map[*int]*int{&i: &j} // ERROR "&i escapes to heap" "&j escapes to heap" "literal escapes to heap" 98 sink = m // ERROR "m escapes to heap" 99 } 100 101 func map9() *int { 102 // BAD: i should not escape 103 i := 0 // ERROR "moved to heap: i" 104 j := 0 // ERROR "moved to heap: j" 105 m := map[*int]*int{&i: &j} // ERROR "&i escapes to heap" "&j escapes to heap" "literal does not escape" 106 return m[nil] 107 }