Added verbose message for "C-style pointer casting" (#4140)