[clang] [NFC][analyzer] Refactor Environment to map Expr to SVal instead of Stmt to SVal (PR #193295)

[Balázs Benics via cfe-commits]

================
@@ -270,7 +270,7 @@ void MIGChecker::checkReturnAux(const ReturnStmt *RS, CheckerContext &C) const {
   if (!State->get<ReleasedParameter>())
     return;
 
-  SVal V = C.getSVal(RS);
+  SVal V = RS->getRetValue() ? C.getSVal(RS->getRetValue()) : UndefinedVal();
----------------
steakhal wrote:

Whatever we do, that must preserve the previous behavior. This means that absolutely no reports can change - even if that means that we must preserve some bugs (if it was a bug).

https://github.com/llvm/llvm-project/pull/193295