[clang] [clang][dataflow] Refactor `widen` API to be explicit about change effect. (PR #87233)

[via cfe-commits]

================
@@ -122,17 +135,19 @@ class Environment {
     ///
     ///  `Prev` and `Current` must be assigned to the same storage location in
     ///  `PrevEnv` and `CurrentEnv`, respectively.
-    virtual Value *widen(QualType Type, Value &Prev, const Environment &PrevEnv,
-                         Value &Current, Environment &CurrentEnv) {
+    virtual std::optional<WidenResult> widen(QualType Type, Value &Prev,
----------------
martinboehme wrote:

Makes sense, thanks for the explanation.

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