445   { return this->do_may_fall_through(); }  in may_fall_through()
494   do_may_fall_through() const  in do_may_fall_through()  function
734   do_may_fall_through() const  in do_may_fall_through()  function
773   do_may_fall_through() const;
816   do_may_fall_through() const  in do_may_fall_through()  function
1097   do_may_fall_through() const;
1237   do_may_fall_through() const  in do_may_fall_through()  function
1269   do_may_fall_through() const  in do_may_fall_through()  function
1360   do_may_fall_through() const;
1419   do_may_fall_through() const;
1736   do_may_fall_through() const;
1907   do_may_fall_through() const;