[analyzer]Skip unstable CSA tests failing on several platforms
authorSteven Wan <wanyu9511@gmail.com>
Thu, 2 Dec 2021 23:29:43 +0000 (18:29 -0500)
committerSteven Wan <wanyu9511@gmail.com>
Thu, 2 Dec 2021 23:30:14 +0000 (18:30 -0500)
commit9c4d194f44c4f74826b98f2efaa5e8a356650491
tree596dd990a1ec02f7f33172d6a856da4095f77be4
parent885fb9a257faa14ec33ad972df81801483c85da2
[analyzer]Skip unstable CSA tests failing on several platforms

Clang static analyzer uses bitwidth to infer the integer value type, that is, any 32-bit integer is considered of type `int`, and any 64-bit integer is considered of type `long`. This isn't always true, for instance, in ILP32 (e.g., 32-bit AIX), 32-bit could be `long`, and in LP64 (e.g., 64-bit wasm64), 64-bit could be `long long`.

Reviewed By: steakhal

Differential Revision: https://reviews.llvm.org/D114454
clang/unittests/StaticAnalyzer/CMakeLists.txt
clang/unittests/StaticAnalyzer/SValTest.cpp