HomePhabricator

[analyzer] Fix SimpleSValBuilder::simplifySVal

Description

[analyzer] Fix SimpleSValBuilder::simplifySVal

This diff fixes a crash (triggered assert) on the newly added test case.
In the method Simplifier::VisitSymbolData we check the type of S and return
Loc/NonLoc accordingly.

Differential revision: https://reviews.llvm.org/D36564

Details

Committed
alexshapAug 14 2017, 2:23 PM
Differential Revision
D36564: [analyzer] Fix SimpleSValBuilder::simplifySVal
Branches
Unknown
Tags
Unknown