| Issue |
76459
|
| Summary |
`PointerValue` comparison doens't take properties into account.
|
| Labels |
clang:dataflow
|
| Assignees |
ymand
|
| Reporter |
ymand
|
Function `areEquivalentIndirectionValues` doesn't account for differences in properties when comparing pointer values. This causes problems with analyses which use properties where pointer values differing only in properties are considered equivalent.
https://github.com/llvm/llvm-project/blob/a01b58aef0e42fb1b52e358adf4c56678a884d37/clang/lib/Analysis/FlowSensitive/Value.cpp#L20-L27
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
