| 2792 | } |
| 2793 | |
| 2794 | static void |
| 2795 | parse_args (int *argcp, |
| 2796 | const char ***argvp) |
| 2797 | { |
| 2798 | int total_parsed_argc = *argcp; |
| 2799 | |
| 2800 | parse_args_recurse (argcp, argvp, false, &total_parsed_argc); |
| 2801 | |
| 2802 | if (next_overlay_src_count > 0) |
| 2803 | die ("--overlay-src must be followed by another --overlay-src or one of --overlay, --tmp-overlay, or --ro-overlay"); |
| 2804 | } |
| 2805 | |
| 2806 | static void |
| 2807 | read_overflowids (void) |
no test coverage detected