Disable false positive PVS warning

dosbox-staging · May 13, 2024 · 8354ce3 · 8354ce3
1 parent 485f5d5
commit 8354ce3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/shell/shell.cpp b/src/shell/shell.cpp
@@ -202,6 +202,11 @@ uint16_t get_tick_random_number() {
 	return (uint16_t)(GetTicks() % random_uplimit);
 }
 
+// Disable PVS warning 1020 for this function.
+// It's a false positive about needing to call DOS_CloseFile()
+#pragma pvs(push)
+#pragma pvs(disable: 1020)
+
 void DOS_Shell::ParseLine(char *line)
 {
 	LOG(LOG_EXEC, LOG_ERROR)("Parsing command line: %s", line);
@@ -326,6 +331,8 @@ void DOS_Shell::ParseLine(char *line)
 	}
 }
 
+#pragma pvs(pop)
+
 void DOS_Shell::RunBatchFile()
 {
 	char input_line[CMD_MAXLINE] = {0};