TypeTraitExprs are not supported by the ExprEngine today. Analyzer
creates a sink, and aborts the block. Therefore, certain bugs that
involve type traits intrinsics cannot be detected (see PR24710).
This patch creates boolean SVals for TypeTraitExprs, which are
evaluated by the compiler.
Test within the patch is a summary of PR24710.