[all-commits] [llvm/llvm-project] 4995d0: [analyzer][Solver] Improve getSymVal and friends (...

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4995d093555f00728e20f4e4095cd182f748cec7
      https://github.com/llvm/llvm-project/commit/4995d093555f00728e20f4e4095cd182f748cec7
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-10-18 (Fri, 18 Oct 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/BitwiseShiftChecker.cpp
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    M clang/test/Analysis/infeasible-sink.c

  Log Message:
  -----------
  [analyzer][Solver] Improve getSymVal and friends (1/2) (#112583)



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