mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-13 17:37:00 +00:00
be6ac471f6
In Microsoft-compatibility mode, single commas from nested macro expansions should not be considered as argument separators; we already emulated this by marking them to be ignored. However, in MSVC's preprocessor, subsequent expansions DO treat these commas as argument separators... so we now ignore each comma at most once. Includes a small unit test that validates we match MSVC's behavior as shown in https://gcc.godbolt.org/z/y0twaq Fixes PR43282 Subscribers: cfe-commits Tags: #clang Differential Revision: https://reviews.llvm.org/D69626
59 lines
1.9 KiB
C
59 lines
1.9 KiB
C
// RUN: %clang_cc1 -E -fms-compatibility %s -o %t
|
|
// RUN: FileCheck %s < %t
|
|
|
|
# define M2(x, y) x + y
|
|
# define P(x, y) {x, y}
|
|
# define M(x, y) M2(x, P(x, y))
|
|
M(a, b) // CHECK: a + {a, b}
|
|
|
|
// Regression test for PR13924
|
|
#define GTEST_CONCAT_TOKEN_(foo, bar) GTEST_CONCAT_TOKEN_IMPL_(foo, bar)
|
|
#define GTEST_CONCAT_TOKEN_IMPL_(foo, bar) foo ## bar
|
|
|
|
#define GMOCK_INTERNAL_COUNT_AND_2_VALUE_PARAMS(p0, p1) P2
|
|
|
|
#define GMOCK_ACTION_CLASS_(name, value_params)\
|
|
GTEST_CONCAT_TOKEN_(name##Action, GMOCK_INTERNAL_COUNT_##value_params)
|
|
|
|
#define ACTION_TEMPLATE(name, template_params, value_params)\
|
|
class GMOCK_ACTION_CLASS_(name, value_params) {\
|
|
}
|
|
|
|
ACTION_TEMPLATE(InvokeArgument,
|
|
HAS_1_TEMPLATE_PARAMS(int, k),
|
|
AND_2_VALUE_PARAMS(p0, p1));
|
|
|
|
// Regression test for PR43282; check that we match MSVC's failure to unpack
|
|
// __VA_ARGS__ unless forwarded through another macro.
|
|
#define THIRD_ARGUMENT(A, B, C, ...) C
|
|
#define TEST(...) THIRD_ARGUMENT(__VA_ARGS__, 1, 2)
|
|
#define COMBINE(...) __VA_ARGS__
|
|
#define WRAPPED_TEST(...) COMBINE(THIRD_ARGUMENT(__VA_ARGS__, 1, 2))
|
|
// Check that we match MSVC's failure to unpack __VA_ARGS__, unless forwarded
|
|
// through another macro
|
|
auto packed = TEST(,);
|
|
auto unpacked = WRAPPED_TEST(,);
|
|
// CHECK: auto packed = 2;
|
|
// CHECK: auto unpacked = 1;
|
|
|
|
// This tests compatibility with behaviour needed for type_traits in VS2012
|
|
// Test based on _VARIADIC_EXPAND_0X macros in xstddef of VS2012
|
|
#define _COMMA ,
|
|
|
|
#define MAKER(_arg1, _comma, _arg2) \
|
|
void func(_arg1 _comma _arg2) {}
|
|
#define MAKE_FUNC(_makerP1, _makerP2, _arg1, _comma, _arg2) \
|
|
_makerP1##_makerP2(_arg1, _comma, _arg2)
|
|
|
|
MAKE_FUNC(MAK, ER, int a, _COMMA, int b);
|
|
// CHECK: void func(int a , int b) {}
|
|
|
|
#define macro(a, b) (a - b)
|
|
void function(int a);
|
|
#define COMMA_ELIDER(...) \
|
|
macro(x, __VA_ARGS__); \
|
|
function(x, __VA_ARGS__);
|
|
COMMA_ELIDER();
|
|
// CHECK: (x - );
|
|
// CHECK: function(x);
|