[all-commits] [llvm/llvm-project] 7d8616: [analyzer] Fix stores through label locations (#89...

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7d8616ed500f01b201667020c9be545d686950be
      https://github.com/llvm/llvm-project/commit/7d8616ed500f01b201667020c9be545d686950be
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-04-19 (Fri, 19 Apr 2024)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/StaticAnalyzer/Core/RegionStore.cpp
    A clang/test/Analysis/gh-issue-89185.c

  Log Message:
  -----------
  [analyzer] Fix stores through label locations (#89265)

Interestingly, this case crashed from the very beginning of the project,
at least starting by clang-3.

As a "fix" I just do the same thing as we do for concrete integers. It
might not be the best we could do, but arguably, it's still better than
crashing.

Fixes #89185



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