diff options
| author | Pavel Skripkin <paskripkin@gmail.com> | 2024-09-09 19:12:38 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-09 18:12:38 +0200 |
| commit | db6051dae085c35020c1273ae8d38508c9958bc7 (patch) | |
| tree | b9fa7b9daacaa733cfe91aeccf539174d31983d2 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 3cdb30ebbc18fa894d3bd67aebcff76ce7c741ac (diff) | |
| download | llvm-db6051dae085c35020c1273ae8d38508c9958bc7.zip llvm-db6051dae085c35020c1273ae8d38508c9958bc7.tar.gz llvm-db6051dae085c35020c1273ae8d38508c9958bc7.tar.bz2 | |
[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`
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions