ASDenysPetrov added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:1155-1156
- // TODO: Support SymbolCast. Support IntSymExpr when/if we actually
- // start producing them.
----------------
vsavchenko wrote:
> Do we actually produce them?
You can met SymbolCast here if `evalCast` produced it.
See `SValBuilder::evalCastSubKind(nonloc::SymbolVal...)`:
```
if (!Loc::isLocType(CastTy))
if (!IsUnknownOriginalType || !CastTy->isFloatingType() ||
T->isFloatingType())
return makeNonLoc(SE, T, CastTy);
```
Also my patch will produce a lot of integral cast symbols D103096. You are
welcome to examine it.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D103317/new/
https://reviews.llvm.org/D103317
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
