[all-commits] [llvm/llvm-project] 42c094: Revert "[analyzer][Solver] Early return if sym is ...

[Balazs Benics via All-commits]

  Branch: refs/heads/revert-115579-fix/clang-analyzer-range-simplify-before-assume
  Home:   https://github.com/llvm/llvm-project
  Commit: 42c0948d6102cf3f5a7baad52db5e16aaf5eacc8
      https://github.com/llvm/llvm-project/commit/42c0948d6102cf3f5a7baad52db5e16aaf5eacc8
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-11-15 (Fri, 15 Nov 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
    M clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp
    M clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp
    R clang/test/Analysis/solver-sym-simplification-on-assumption.c
    R clang/test/Analysis/std-c-library-functions-bufsize-nocrash-with-correct-solver.c
    M clang/test/Analysis/symbol-simplification-fixpoint-two-iterations.cpp

  Log Message:
  -----------
  Revert "[analyzer][Solver] Early return if sym is concrete on assuming (#115579)"

This reverts commit 4163136e2ee121a5d7b86cb1262a524dde4a5ec4.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications