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

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8d43c880a5be1cd624052eb009d1f3983d4c5459
      https://github.com/llvm/llvm-project/commit/8d43c880a5be1cd624052eb009d1f3983d4c5459
  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" (#116362)

Reverts llvm/llvm-project#115579

This introduced a breakage:
https://lab.llvm.org/buildbot/#/builders/46/builds/7928



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