gribozavr2 added inline comments.
================ Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h:263-267 + //// Possible return values are: + /// - `Satisfiable` : There exists a satisfying assignment for `Constraints`, + /// the solution found by the solver will be returned. /// - `Unsatisfiable`: There is no satisfying assignment for `Constraints`. + /// - `TimedOut` : The solver gives up on finding a satisfying assignment. ---------------- I'd suggest to revert these edits. Vertical alignment that is not supported by an autoformatter isn't sustainable. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D129180/new/ https://reviews.llvm.org/D129180 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
