Refactor the abstract domain of global init checker to compile http4s#22179

Merged

olhotak merged 10 commits intoscala:mainfrom

EnzeXing:fix-http4s

Mar 6, 2025

Commits on Mar 6, 2025

Refactor pattern matching, skipping cases when safe to do so
EnzeXing
committed
Add BaseOrUnknownValue
EnzeXing
committed
Refactor abstract domain; combining Cold and Unknown Value; adding Package Value
EnzeXing
committed
Add option to ignore using unknown value warning
EnzeXing
committed
Rename BaseValue to SafeValue
EnzeXing
committed
Adding semantics for calling on SafeValue and evaluating SeqLiteral
EnzeXing
committed
Modify test
EnzeXing
committed
Address comments; add TopWidenedValue
EnzeXing
committed
Reorganize tests
EnzeXing
committed
Address comments
EnzeXing
committed