en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/symbolcast-floatingpoint.cpp#5d7fa481 [analyzer] Do not emit redundant SymbolCastsIn `RegionStore::getBinding` we call `evalCast` unconditionally to alignthe stored value's type to the one that is being queried. However, thestored type might be the same, so we may end up having redundant`SymbolCasts` emitted.The solution is to check whether the `to` and `from` type are the samein `makeNonLoc`.Note, we can't just do type equivalence check at the beginning of `evalCast`because when `evalCast` is called from `getBinding` then the original type(`OriginalTy`) is not set, so one operand is missing for the comparison. In`evalCastSubKind(nonloc::SymbolVal)` when the original type is not set,we get the `from` type via `SymbolVal::getType()`.Differential Revision: https://reviews.llvm.org/D128068 List of files: /llvm-project-15.0.7/clang/test/Analysis/symbolcast-floatingpoint.cpp Fri, 17 Jun 2022 16:19:55 +0000 Gabor Marton <gabor.marton@ericsson.com>