[all-commits] [llvm/llvm-project] b88023: [analyzer][NFC] Use std::optional instead of custo...

DonatNagyE via All-commits all-commits at lists.llvm.org
Thu May 4 03:58:40 PDT 2023

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b88023c25729f4dd4548a25e5e12d6624e2adbaf
  Author: DonĂ¡t Nagy <donat.nagy at ericsson.com>
  Date:   2023-05-04 (Thu, 04 May 2023)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp

  Log Message:
  [analyzer][NFC] Use std::optional instead of custom "empty" state

This commit eliminates the uninitialized error state from the class
RegionRawOffsetV2 (which is locally used by the Clang Static Analyzer
checker alpha.security.ArrayBoundV2) and replaces its use with

Motivated by https://reviews.llvm.org/D148355#inline-1437928

Moreover, the code of RegionRawOffsetV2::computeOffset() is rearranged
to clarify its behavior. The helper function getValue() was eliminated
by picking a better initial value for the variable Offset; two other
helper functions were replaced by the lambda function Calc() because
this way it doesn't need to take the "context" objects as parameters.

This reorganization revealed some surprising (but not outright buggy)
behavior that's marked by a FIXME and will be revisited in a separate

Differential Revision: https://reviews.llvm.org/D149259

More information about the All-commits mailing list