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

[Balázs Benics via cfe-commits]

================
@@ -0,0 +1,231 @@
+//===- BoundsChecking.cpp - Bounds checking related APIs --------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+//  This file implements 'checkBounds', a function that compares memory offsets
+//  (that may be symbolic) and uses heuristical workarounds to provide more
+//  accurate results than the 'naive' evalBinOp calls.
+//
+//===----------------------------------------------------------------------===//
+
+#include "clang/StaticAnalyzer/Checkers/BoundsChecking.h"
+#include "clang/StaticAnalyzer/Checkers/Taint.h"
----------------
steakhal wrote:

This looks unused.

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