diff options
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 9047d9d8a9..cf8d3176c4 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -200,8 +200,6 @@ SVal BasicStoreManager::getLValueField(const GRState* St, SVal Base, switch(BaseL.getSubKind()) { case loc::GotoLabelKind: - case loc::FuncValKind: - // Technically we can get here if people do funny things with casts. return UndefinedVal(); case loc::MemRegionKind: @@ -234,7 +232,6 @@ SVal BasicStoreManager::getLValueElement(const GRState* St, SVal Base, switch(BaseL.getSubKind()) { case loc::GotoLabelKind: - case loc::FuncValKind: // Technically we can get here if people do funny things with casts. return UndefinedVal(); @@ -338,8 +335,6 @@ SVal BasicStoreManager::Retrieve(const GRState* state, Loc loc, QualType T) { // they are doing a quick scan through their Locs (potentially to // invalidate their bindings). Just return Undefined. return UndefinedVal(); - case loc::FuncValKind: - return loc; default: assert (false && "Invalid Loc."); |