Workaround apparent UB in ifstream assignment

UCLOrengoGroup · May 22, 2021 · 7a40e74 · 7a40e74
1 parent 3c2e734
commit 7a40e74
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/source/ct_common/cath/common/file/path_or_istream.cpp b/source/ct_common/cath/common/file/path_or_istream.cpp
@@ -41,6 +41,9 @@ path_or_istream & path_or_istream::set_path(const path &prm_file ///< The path t
                                             ) {
 	if ( input_file_stream ) {
 		input_file_stream->close();
+
+		// https://bugs.llvm.org/show_bug.cgi?id=50445
+		input_file_stream.reset();
 	}
 	if ( prm_file != get_flag() || ! standard_instream ) {
 		input_file_stream = open_ifstream( prm_file );