CmmLint for c structure as a return value