[clang] [analyzer] Variant checker bindings (PR #87886)

[Donát Nagy via cfe-commits]

================
@@ -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