[all-commits] [llvm/llvm-project] fae353: [analyzer] Use Optional as a return type of Store...

[Denys Petrov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fae3534b3056bb96d26a6d1b6e7d6a2ccaf4fab1
      https://github.com/llvm/llvm-project/commit/fae3534b3056bb96d26a6d1b6e7d6a2ccaf4fab1
  Author: Denys Petrov <dpetrov at accesssoftek.com>
  Date:   2021-05-29 (Sat, 29 May 2021)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
    M clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
    M clang/lib/StaticAnalyzer/Core/Store.cpp
    M clang/test/Analysis/casts.c

  Log Message:
  -----------
  [analyzer]  Use Optional as a return type of StoreManager::castRegion

Summary: Make StoreManager::castRegion function usage safier. Replace `const MemRegion *` with `Optional<const MemRegion *>`. Simplified one of related test cases due to suggestions in D101635.

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