From 6655647bada19de910885d04aff9a083c3cea366 Mon Sep 17 00:00:00 2001 From: Bo Tang Date: Tue, 30 Jun 2026 22:35:00 -0400 Subject: [PATCH] Fix: handle MPS file open failure --- src/mps_parser.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/mps_parser.c b/src/mps_parser.c index c37687e..27ac3f3 100644 --- a/src/mps_parser.c +++ b/src/mps_parser.c @@ -408,6 +408,7 @@ lp_problem_t *read_mps_file(const char *filename) if (!reader) { fprintf(stderr, "ERROR: Could not open file %s\n", filename); + return NULL; } namemap_init(&state.row_map, 1024);