HomePhabricator

[analyzer] const init: handle non-explicit cases more accurately

Description

[analyzer] const init: handle non-explicit cases more accurately

Summary: If the access is out of bounds, return UndefinedVal. If it is missing an explicit init, return the implicit zero value it must have.

Reviewers: NoQ, xazax.hun, george.karpenkov

Reviewed By: NoQ

Subscribers: szepet, rnkovacs, a.sidorin, cfe-commits

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

Details

Committed
r.stahlMay 29 2018, 7:14 AM
Reviewer
NoQ
Differential Revision
D46823: [analyzer] const init: handle non-explicit cases more accurately
Parents
rL333416: StackColoring: better handling of statically unreachable code
Branches
Unknown
Tags
Unknown