================ @@ -37,6 +43,19 @@ static SVal conjureOffsetSymbolOnLocation( return Symbol; } +// Update the SVal bound to the Cast expression with the SVal +// bound to the casted expression +static ProgramStateRef updateStateAfterSimpleCast(StmtNodeBuilder& Bldr, ---------------- NagyDonat wrote:
Rename `Simple` -> `Trivial` and emphasize in the comment that this is only applied to trivial casts. (Without knowing the context where it's called, it's a red flag to see that the cast is unconditionally ignored within this function.) https://github.com/llvm/llvm-project/pull/87886 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
