[PATCH] D90157: [analyzer] Rework SValBuilder::evalCast function into maintainable and clear way

[Denys Petrov via Phabricator via cfe-commits]

ASDenysPetrov created this revision.
ASDenysPetrov added reviewers: NoQ, steakhal, krememek, xazax.hun.
ASDenysPetrov added a project: clang.
Herald added subscribers: cfe-commits, martong, Charusso, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware.
ASDenysPetrov requested review of this revision.

Refactor `SValBuilder::evalCast` function. Make the function clear and get rid of redundant and repetitive code. Unite `SValBuilder::evalCast`, `SimpleSValBuilder::dispatchCast`, `SimpleSValBuilder::evalCastFromNonLoc` and `SimpleSValBuilder::evalCastFromLoc` functions into single `SValBuilder::evalCast`.

P.S. Inspired by D89055 <https://reviews.llvm.org/D89055>.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D90157

Files:
  clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
  clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D90157.300671.patch
Type: text/x-patch
Size: 17526 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20201026/5b6eb545/attachment-0001.bin>