index 3416802811bc8a5ba5d21a5f6dd351dc5392b762..48615c0ebcba05d75f33d43ccb302f8593fa7066 100644 (file)
@@ -215,9 +215,9 @@ BootstrapModeMain(int argc, char *argv[], bool check_only)
InitializeGUCOptions();
/* an initial --boot or --check should be present */
- Assert(argc == 1
- || strcmp(argv[1], "--boot") != 0
- || strcmp(argv[1], "--check") != 0);
+ Assert(argc > 1
+ && (strcmp(argv[1], "--boot") == 0
+ || strcmp(argv[1], "--check") == 0));
argv++;
argc--;