They look for fallthrough annotations but do not support the falltrough comments that gcc interprets.