llvm-project

Author SHA1 Message Date

Author	SHA1	Message	Date
isuckatcs	a46154cb1c	[analyzer] Warn if the size of the array in `new[]` is undefined This patch introduces a new checker, called NewArraySize checker, which detects if the expression that yields the element count of the array in new[], results in an Undefined value. Differential Revision: https://reviews.llvm.org/D131299	2022-09-04 23:06:58 +02:00
isuckatcs	10a7ee0bac	[analyzer] Fix for the crash in #56873 In ExprEngine::bindReturnValue() we cast an SVal to DefinedOrUnknownSVal, however this SVal can also be Undefined, which leads to an assertion failure. Fixes: #56873 Differential Revision: https://reviews.llvm.org/D130974	2022-08-03 19:25:02 +02:00

isuckatcs

a46154cb1c

[analyzer] Warn if the size of the array in new[] is undefined

This patch introduces a new checker, called NewArraySize checker,
which detects if the expression that yields the element count of
the array in new[], results in an Undefined value.

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

2022-09-04 23:06:58 +02:00

isuckatcs

10a7ee0bac

[analyzer] Fix for the crash in #56873

In ExprEngine::bindReturnValue() we cast an SVal to DefinedOrUnknownSVal,
however this SVal can also be Undefined, which leads to an assertion failure.

Fixes: #56873

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

2022-08-03 19:25:02 +02:00

2 Commits