[clang] [llvm] [NFC][analyzer] Introduce the BoundsChecking library (PR #213957)

[Donát Nagy via cfe-commits]

================
@@ -0,0 +1,105 @@
+//===- BoundsChecking.h - Bounds checking related APIs ----------*- C++ -*-===//
----------------
NagyDonat wrote:

I originally attempted to place it there, but then in the first attempt PR https://github.com/llvm/llvm-project/pull/202372 I had to use `Taint.h` and I wasn't able to include `Taint.h` from there.

Now that I no longer use `Taint.h` the question is open again.

I'm still leaning towards keeping the current locations, because it would be nice to retain the possibility of using `Taint.h` in the future – it is possible that the "is the offset/extent tainted?" logic will be common between multiple bounds checking checkers – but I'm open to moving the source file if you think that it would be more elegant that way. (Perhaps we should also move `Taint.h` to a better location...)

What would you suggest?

> It's very likely that we are inconsistent.

:100:

https://github.com/llvm/llvm-project/pull/213957