Correct tagging method for buildings with roofs extending over sidewalks?

Would go for option 3 or 1.

And then tag the sidewalk with covered=yes.