search

Ericsson / clang

Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
http://clang.llvm.org/
Other
15 stars 10 forks source link

[Analyzer] Iterator Checkers - Crash Fix #696

Closed baloghadamsoftware closed 5 years ago

baloghadamsoftware commented 5 years ago

When relating iterator positions the relation may be impossible because of the constraints. In this case the new state we get is a null pointer. If so, return a null pointer immediately instead of working with the invalid (null pointer) state wihch crashes the analyzer.