| -------- @pointsto mrv -------- |
| this reflect.Value may contain these dynamic types: |
| *bool, may point to: |
| reflection.b |
| *int, may point to: |
| reflection.a |
| map[*int]*bool, may point to: |
| makemap |
| |
| -------- @pointsto p1 -------- |
| this any may contain these dynamic types: |
| *bool, may point to: |
| reflection.b |
| *int, may point to: |
| reflection.a |
| map[*int]*bool, may point to: |
| makemap |
| |
| -------- @pointsto p2 -------- |
| this []reflect.Value may point to these objects: |
| <alloc in (reflect.Value).MapKeys> |
| |
| -------- @pointsto p3 -------- |
| this reflect.Value may contain these dynamic types: |
| *int, may point to: |
| reflection.a |
| |
| -------- @pointsto p4 -------- |
| this reflect.Type may contain these dynamic types: |
| *reflect.rtype, may point to: |
| *bool |
| *int |
| map[*int]*bool |
| |
