[all-commits] [llvm/llvm-project] efe91c: [clang][analyzer] Check for label location binding...

[Rajveer Singh Bharadwaj via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: efe91cf78bccda90637c817e3e592b5f34e891d0
      https://github.com/llvm/llvm-project/commit/efe91cf78bccda90637c817e3e592b5f34e891d0
  Author: Rajveer Singh Bharadwaj <rajveer.developer at icloud.com>
  Date:   2024-05-13 (Mon, 13 May 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
    M clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
    M clang/test/Analysis/gh-issue-89185.c

  Log Message:
  -----------
  [clang][analyzer] Check for label location bindings in `DereferenceChecker` (#91119)

Resolves #89264

Values should not be stored in addresses of labels, this throws a fatal
error when this happens.

---------

Co-authored-by: Balazs Benics <benicsbalazs at gmail.com>



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