Updating GIT tree Updating 191bcd0f30d..2a4c59d9aa6 Fast-forward gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 46 ++++++++ gcc/analyzer/analyzer.h | 9 +- gcc/analyzer/engine.cc | 2 +- gcc/analyzer/program-state.cc | 174 ++++++++++++++++++++++++++++--- gcc/analyzer/program-state.h | 3 +- gcc/analyzer/region-model.cc | 129 ++++++++++++++++++++--- gcc/analyzer/region-model.h | 3 + gcc/analyzer/sm.cc | 15 +++ gcc/analyzer/sm.h | 2 + gcc/testsuite/ChangeLog | 6 ++ gcc/testsuite/gcc.dg/analyzer/malloc-4.c | 2 +- 12 files changed, 361 insertions(+), 32 deletions(-) Current branch master is up to date. Adjusting file timestamps