[all-commits] [llvm/llvm-project] 495739: [analyzer] Drop assertion enforcing that assume ar...

[Balazs Benics via All-commits]

  Branch: refs/heads/release/21.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 49573916f74d5e904eec2ed6989a0c5263dc21fc
      https://github.com/llvm/llvm-project/commit/49573916f74d5e904eec2ed6989a0c5263dc21fc
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2025-08-26 (Tue, 26 Aug 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp
    M clang/test/Analysis/cxx23-assume-attribute.cpp

  Log Message:
  -----------
  [analyzer] Drop assertion enforcing that assume args are known constants (#151908)

We sometimes don't know if the operand of [[assume]] is true/false, and
that's okay. We can just ignore the attribute in that case.

If we wanted something more fancy, we could bring the assumption to the
constraints, but dropping them should be just as fine for now.

Fixes #151854

(cherry picked from commit 0a1eff2ecedcb11acb3e9d4b75ee1e1bebd69a70)


  Commit: d618b40e5e86132e0fa64ef0f3a5322fa96698b4
      https://github.com/llvm/llvm-project/commit/d618b40e5e86132e0fa64ef0f3a5322fa96698b4
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2025-08-26 (Tue, 26 Aug 2025)

  Changed paths:
    M clang/test/Analysis/cxx23-assume-attribute.cpp

  Log Message:
  -----------
  [analyzer] Add missing expected-warning after #151908

(cherry picked from commit 6c9f1ce429809e5a91683ed6cef9a435047bebd1)


Compare: https://github.com/llvm/llvm-project/compare/2b5bebaa93e6...d618b40e5e86

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