//
// 1. direct call
// 2. through a reachable interface type
-// 3. reflect.Value.Call, .Method, or reflect.Method.Func
+// 3. reflect.Value.Method, or reflect.Type.Method
//
// The first case is handled by the flood fill, a directly called method
// is marked as reachable.
// as reachable. This is extremely conservative, but easy and correct.
//
// The third case is handled by looking to see if any of:
-// - reflect.Value.Call is reachable
// - reflect.Value.Method is reachable
-// - reflect.Type.Method or MethodByName is called.
+// - reflect.Type.Method or MethodByName is called (through the
+// REFLECTMETHOD attribute marked by the compiler).
// If any of these happen, all bets are off and all exported methods
// of reachable types are marked reachable.
//