[all-commits] [llvm/llvm-project] 042454: [analyzer] Use AllocaRegion in MallocChecker (#72402)

[DonatNagyE via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0424546ed4a7570837626922edc66530cd3c3ab7
      https://github.com/llvm/llvm-project/commit/0424546ed4a7570837626922edc66530cd3c3ab7
  Author: DonatNagyE <donat.nagy at ericsson.com>
  Date:   2023-11-28 (Tue, 28 Nov 2023)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
    M clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
    M clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
    M clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
    M clang/test/Analysis/malloc.c
    M clang/test/Analysis/memory-model.cpp
    M clang/test/Analysis/out-of-bounds-diagnostics.c

  Log Message:
  -----------
  [analyzer] Use AllocaRegion in MallocChecker (#72402)

...to model the results of alloca() and _alloca() calls. Previously it
acted as if these functions were returning memory from the heap, which
led to alpha.security.ArrayBoundV2 producing incorrect messages.