summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp
AgeCommit message (Expand)Author
2025-04-02[EquivalenceClasses] Use SmallVector for deterministic iteration order. (#134...Florian Hahn
2025-04-01[EquivalenceClasses] Update member_begin to take ECValue (NFC).Florian Hahn
2025-04-01[EquivalenceClasses] Return ECValue directly from insert (NFC).Florian Hahn
2025-03-31Reapply "[EquivalenceClasses] Replace findValue with contains (NFC)."Florian Hahn
2024-01-18[clang][dataflow] Use `Formula::isLiteral()` in a couple more places. (#78404)martinboehme
2023-11-07Silence diagnostics about not all control paths returning a value; NFCAaron Ballman
2023-11-07[clang][dataflow] Simplify flow conditions displayed in HTMLLogger. (#70848)martinboehme