extra/untracked_param: mark lost parameters
[smatch.git] / validation / preprocessor / predef-max.c
blobad4b7eaf1b92dc89a98ebf4b6975b11efae8b373
1 #define TEST_MAX(X, Z) if (X != ((~ Z) >> 1)) return 1
3 int test_max(void)
5 TEST_MAX(__INT_MAX__, 0U);
6 TEST_MAX(__LONG_MAX__, 0UL);
7 TEST_MAX(__LONG_LONG_MAX__, 0ULL);
9 return 0;
13 * check-name: predefined __<type>_MAX__
14 * check-command: test-linearize -Wno-decl $file
15 * check-output-ignore
17 * check-output-contains: ret\\..*\\$0