================ @@ -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" + +using namespace clang; +using namespace ento; +using namespace bounds; ---------------- steakhal wrote:
This looks unused. https://github.com/llvm/llvm-project/pull/213957 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
