llvm-project

Commit Graph

Author	SHA1	Message	Date
Tomasz Kamiński	2fb3bec932	[analyzer] Fix crash for array-delete of UnknownVal values. We now skip the destruction of array elements for `delete[] p`, if the value of `p` is UnknownVal and does not have corresponding region. This eliminate the crash in `getDynamicElementCount` on that region and matches the behavior for deleting the array of non-constant range. Reviewed By: isuckatcs Differential Revision: https://reviews.llvm.org/D136671	2022-11-09 15:06:46 +01:00
Charusso	9b3df78b4c	[analyzer] DynamicSize: Rename 'size' to 'extent'	2021-04-05 19:20:43 +02:00

Author

SHA1

Message

Date

Tomasz Kamiński

2fb3bec932

[analyzer] Fix crash for array-delete of UnknownVal values.

We now skip the destruction of array elements for `delete[] p`,
if the value of `p` is UnknownVal and does not have corresponding region.
This eliminate the crash in `getDynamicElementCount` on that
region and matches the behavior for deleting the array of
non-constant range.

Reviewed By: isuckatcs

Differential Revision: https://reviews.llvm.org/D136671

2022-11-09 15:06:46 +01:00

Charusso

9b3df78b4c

[analyzer] DynamicSize: Rename 'size' to 'extent'

2021-04-05 19:20:43 +02:00

2 Commits