[all-commits] [llvm/llvm-project] db6051: [analyzer] fix crash on binding to symbolic region...

[Pavel Skripkin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: db6051dae085c35020c1273ae8d38508c9958bc7
      https://github.com/llvm/llvm-project/commit/db6051dae085c35020c1273ae8d38508c9958bc7
  Author: Pavel Skripkin <paskripkin at gmail.com>
  Date:   2024-09-09 (Mon, 09 Sep 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RegionStore.cpp
    M clang/test/Analysis/asm.cpp

  Log Message:
  -----------
  [analyzer] fix crash on binding to symbolic region with `void *` type (#107572)

As reported in
https://github.com/llvm/llvm-project/pull/103714#issuecomment-2295769193.
CSA crashes on trying to bind value to symbolic region with `void *`.
This happens when such region gets passed as inline asm input and engine
tries to bind `UnknownVal` to that region.

Fix it by changing type from void to char before calling
`GetElementZeroRegion`



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