[analyzer] Fix assertion in simplifySymbolCast
authorGabor Marton <gabor.marton@ericsson.com>
Wed, 1 Jun 2022 14:29:51 +0000 (16:29 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Tue, 5 Jul 2022 17:00:23 +0000 (19:00 +0200)
commit2df120784af40c9cfebaf2a505a5ebe74c51b44a
tree1651c15f3e182045e09cf026a20bae450c77e8c2
parent5d7fa481cf4d36e14345b1c3ebc951edda0b40b1
[analyzer] Fix assertion in simplifySymbolCast

Depends on D128068.
Added a new test code that fails an assertion in the baseline.
That is because `getAPSIntType` works only with integral types.

Differential Revision: https://reviews.llvm.org/D126779
clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
clang/test/Analysis/produce-symbolcast_x86.cpp