mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 07:39:22 +00:00
Document intentional fallthroughs.
Found by: Coverity scan.
This commit is contained in:
1 parent
8f95eae423
commit
9ee5ae1fae
11 files changed
+17
-2
No files matched your search
@@ -664,6 +664,7 @@ grub_legacy_parse (const char *buf, char **entryname, char **suffix)
|
||||
{
|
||||
case TYPE_FILE_NO_CONSUME:
|
||||
hold_arg = 1;
|
||||
/* Fallthrough. */
|
||||
case TYPE_PARTITION:
|
||||
case TYPE_FILE:
|
||||
args[i] = adjust_file (curarg, curarglen);
|
||||
|
||||
Reference in new issue
Block a user