HomePhabricator

Revert "[analyzer] Toning down invalidation a bit".

Authored by dergachev.a on Apr 3 2019, 11:21 AM.

Description

Revert "[analyzer] Toning down invalidation a bit".

This reverts commit r352473.

The overall idea is great, but it seems to cause unintented consequences
when not only Region Store invalidation but also pointer escape mechanism
was accidentally affected.

Based on discussions in https://reviews.llvm.org/D58121#1452483
and https://reviews.llvm.org/D57230#1434161

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

llvm-svn: 357620

Details

Committed
dergachev.aApr 3 2019, 11:21 AM
Differential Revision
D57230: [analyzer] Toning down invalidation a bit
Parents
rG1362d7ef885d: libcxx: Add _LIBCPP_NODISCARD_EXT to 38 more functions
Branches
Unknown
Tags
Unknown