From 03e3767659028e0c414e9e60c2cbc1430fd31010 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 21 May 2017 18:37:22 +0200 Subject: [PATCH] kill an unreachable statement (thanks sonar) --- src/mc/compare.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp index aa62c78945..a477e83ad8 100644 --- a/src/mc/compare.cpp +++ b/src/mc/compare.cpp @@ -907,7 +907,6 @@ top: return compare_heap_area_without_type(state, process_index, real_area1, real_area2, snapshot1, snapshot2, previous, type->byte_size, check_ignore); - return 0; default: return 0; -- 2.20.1