diff --git a/storage/rocksdb/rocksdb/port/lang.h b/storage/rocksdb/rocksdb/port/lang.h new file mode 100644 index 0000000000000000000000000000000000000000..a5fd364907c7da961d40a6e9ebd29609d5da3dcd --- /dev/null +++ b/storage/rocksdb/rocksdb/port/lang.h @@ -0,0 +1,16 @@ +// Copyright (c) 2011-present, Facebook, Inc. All rights reserved. +// This source code is licensed under both the GPLv2 (found in the +// COPYING file in the root directory) and Apache 2.0 License +// (found in the LICENSE.Apache file in the root directory). + +#pragma once + +#ifndef FALLTHROUGH_INTENDED +#if defined(__clang__) +#define FALLTHROUGH_INTENDED [[clang::fallthrough]] +#elif defined(__GNUC__) && __GNUC__ >= 7 +#define FALLTHROUGH_INTENDED [[gnu::fallthrough]] +#else +#define FALLTHROUGH_INTENDED do {} while (0) +#endif +#endif