Thanks to the Coverity tool, we found some control flow issues in the Lustre code. This is typically the case of a missing break statement in a switch case, or when the tool found some structurally dead code.

I will propose a patch to address the issues.