Make unreachability explicit

zauguin · zauguin · commit 3a71e95f99f0 · 2018-02-13T14:08:59.000+01:00
diff --git a/hdr/sqlite_modern_cpp/type_wrapper.h b/hdr/sqlite_modern_cpp/type_wrapper.h
@@ -353,8 +353,12 @@ namespace sqlite {
 					return variant_select_type<SQLITE_TEXT, Options...>(std::forward<Callback>(callback));
 				case SQLITE_BLOB:
 					return variant_select_type<SQLITE_BLOB, Options...>(std::forward<Callback>(callback));
-				default:;
 			}
+#ifdef _MSC_VER
+			__assume(false);
+#else
+			__builtin_unreachable();
+#endif
 		}
 	}
 	template <typename ...Args> inline int bind_col_in_db(sqlite3_stmt* stmt, int inx, const std::variant<Args...>& val) {

Original file line number	Diff line number	Diff line change
`@@ -353,8 +353,12 @@ namespace sqlite {`
`353`	`353`	`return variant_select_type<SQLITE_TEXT, Options...>(std::forward<Callback>(callback));`
`354`	`354`	`case SQLITE_BLOB:`
`355`	`355`	`return variant_select_type<SQLITE_BLOB, Options...>(std::forward<Callback>(callback));`
`356`		`- default:;`
`357`	`356`	`}`
	`357`	`+#ifdef _MSC_VER`
	`358`	`+ __assume(false);`
	`359`	`+#else`
	`360`	`+ __builtin_unreachable();`
	`361`	`+#endif`
`358`	`362`	`}`
`359`	`363`	`}`
`360`	`364`	`template <typename ...Args> inline int bind_col_in_db(sqlite3_stmt* stmt, int inx, const std::variant<Args...>& val) {`