[all-commits] [llvm/llvm-project] 405c28: [NFC][analyzer] Split [[assume]] tests to a separa...

[Donát Nagy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 405c28bb10928a59c5647ec0768387e27a64f5d0
      https://github.com/llvm/llvm-project/commit/405c28bb10928a59c5647ec0768387e27a64f5d0
  Author: Donát Nagy <donat.nagy at ericsson.com>
  Date:   2025-03-11 (Tue, 11 Mar 2025)

  Changed paths:
    A clang/test/Analysis/builtin_assume.cpp
    M clang/test/Analysis/out-of-bounds-new.cpp

  Log Message:
  -----------
  [NFC][analyzer] Split [[assume]] tests to a separate file (#130763)

Recently commit 7e5821bae80db3f3f0fe0d5f8ce62f79e548eed5 (which is a
re-application of 89da344e5879e5347b5057520d5230e40ae24831) added some
tests to `out-of-bounds-new.cpp`, which use a very simple out of bounds
report to reveal the internal state of the analyzer, but are otherwise
completely unrelated to the checker `security.ArrayBound`, which is
tested in `out-of-bounds-new.cpp`.

(Instead, they test handling of `__builtin_assume` and `[[assume()]]`
annotations.)

This commit reverts `out-of-bounds-new.cpp` to its previous state and
moves the new tests to a separate test file.



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