Yes they should.  I would split each road before and after the roof and connect the road node to the roof outline.  The inner sections should be tag covered=yes.

This is also how I tag a lot of gas stations.