[all-commits] [llvm/llvm-project] 0141a3: [analyzer] Fix nullptr dereference for symbols fro...

[Arseniy Zaostrovnykh via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0141a3cde4d8f2c8ff9e957f981f37e65a69a325
      https://github.com/llvm/llvm-project/commit/0141a3cde4d8f2c8ff9e957f981f37e65a69a325
  Author: Arseniy Zaostrovnykh <necto.ne at gmail.com>
  Date:   2024-08-29 (Thu, 29 Aug 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp
    M clang/test/Analysis/stack-addr-ps.c

  Log Message:
  -----------
  [analyzer] Fix nullptr dereference for symbols from pointer invalidation (#106568)

As reported in
https://github.com/llvm/llvm-project/pull/105648#issuecomment-2317144635
commit 08ad8dc7154bf3ab79f750e6d5fb7df597c7601a
introduced a nullptr dereference in the case when store contains a
binding to a symbol that has no origin region associated with it, such
as the symbol generated when a pointer is passed to an opaque function.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications