#include "analyzer/common.h"#include "diagnostics/event-id.h"#include "stringpool.h"#include "attribs.h"#include "xml-printer.h"#include "analyzer/analyzer-logging.h"#include "analyzer/sm.h"#include "analyzer/pending-diagnostic.h"#include "analyzer/call-string.h"#include "analyzer/program-point.h"#include "analyzer/store.h"#include "analyzer/region-model.h"#include "analyzer/call-details.h"#include "analyzer/function-set.h"#include "analyzer/program-state.h"#include "analyzer/checker-event.h"#include "analyzer/exploded-graph.h"#include "analyzer/inlining-iterator.h"#include "analyzer/ana-state-to-diagnostic-state.h"