Produce SymbolCast for integral types in evalCast function. Apply several simplification techniques while producing the symbols. Added a boolean option support-symbolic-integer-casts under -analyzer-config flag. Disabled the feature by default.
Due to suggestions for splitting D103096 this patch has appeared. It's the first part of the D103096 revision.
clang-tidy: error: no member named 'ShouldSupportSymbolicIntegerCasts' in 'clang::AnalyzerOptions' [clang-diagnostic-error]
not useful