@@ -27,7 +27,6 @@ along with GCC; see the file COPYING3. If not see
#include "timevar.h"
#include "ipa-utils.h"
#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-core.h"
#include "analyzer/analyzer-logging.h"
@@ -35,7 +34,6 @@ along with GCC; see the file COPYING3. If not see
#include "ordered-hash-map.h"
#include "options.h"
#include "cgraph.h"
-#include "function.h"
#include "cfg.h"
#include "basic-block.h"
#include "gimple.h"
@@ -26,7 +26,6 @@ along with GCC; see the file COPYING3. If not see
#include "diagnostic.h"
#include "options.h"
#include "tree.h"
-#include "function.h"
#include "analyzer/analyzer.h"
#include "analyzer/engine.h"
@@ -23,7 +23,6 @@ along with GCC; see the file COPYING3. If not see
#include "coretypes.h"
#include "tree.h"
#include "stringpool.h"
-#include "function.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-selftests.h"
@@ -27,7 +27,6 @@ along with GCC; see the file COPYING3. If not see
#include "gimple.h"
#include "diagnostic.h"
#include "intl.h"
-#include "function.h"
#include "analyzer/analyzer.h"
#if ENABLE_ANALYZER
@@ -22,6 +22,8 @@ along with GCC; see the file COPYING3. If not see
#define GCC_ANALYZER_ANALYZER_H
#include "function.h"
+#include "json.h"
+#include "tristate.h"
class graphviz_out;
@@ -30,11 +30,7 @@ along with GCC; see the file COPYING3. If not see
#include "options.h"
#include "cgraph.h"
#include "tree-pretty-print.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
@@ -56,9 +52,6 @@ along with GCC; see the file COPYING3. If not see
#include "diagnostic-path.h"
#include "analyzer/checker-path.h"
#include "analyzer/diagnostic-manager.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
#include "analyzer/exploded-graph.h"
#include "analyzer/call-info.h"
@@ -24,7 +24,6 @@ along with GCC; see the file COPYING3. If not see
#include "pretty-print.h"
#include "tree.h"
#include "options.h"
-#include "json.h"
#include "ordered-hash-map.h"
#include "options.h"
#include "cgraph.h"
@@ -24,7 +24,6 @@ along with GCC; see the file COPYING3. If not see
#include "tree-dfa.h"
#include "diagnostic.h"
#include "tree-diagnostic.h"
-#include "selftest.h"
#include "analyzer/analyzer.h"
#include "analyzer/region-model.h"
#include "analyzer/call-summary.h"
@@ -28,26 +28,18 @@ along with GCC; see the file COPYING3. If not see
#include "diagnostic-core.h"
#include "gimple-pretty-print.h"
#include "fold-const.h"
-#include "function.h"
#include "diagnostic-path.h"
#include "options.h"
#include "cgraph.h"
-#include "function.h"
#include "cfg.h"
#include "digraph.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
#include "diagnostic-event-id.h"
-#include "shortest-paths.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
#include "ordered-hash-map.h"
-#include "selftest.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
@@ -38,11 +38,7 @@ along with GCC; see the file COPYING3. If not see
#include "target.h"
#include "fold-const.h"
#include "tree-pretty-print.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "options.h"
@@ -30,8 +30,6 @@ along with GCC; see the file COPYING3. If not see
#include "selftest.h"
#include "diagnostic-core.h"
#include "graphviz.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "ordered-hash-map.h"
#include "options.h"
@@ -41,7 +39,6 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/supergraph.h"
#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
@@ -29,15 +29,8 @@ along with GCC; see the file COPYING3. If not see
#include "diagnostic-core.h"
#include "diagnostic-event-id.h"
#include "diagnostic-path.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
-#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
-#include "selftest.h"
#include "ordered-hash-map.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
@@ -25,9 +25,6 @@ along with GCC; see the file COPYING3. If not see
#include "tree.h"
#include "fold-const.h"
#include "gcc-rich-location.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
#include "diagnostic-core.h"
#include "diagnostic-event-id.h"
#include "diagnostic-path.h"
@@ -35,10 +32,7 @@ along with GCC; see the file COPYING3. If not see
#include "pretty-print.h"
#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
#include "ordered-hash-map.h"
-#include "selftest.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/call-string.h"
@@ -29,15 +29,8 @@ along with GCC; see the file COPYING3. If not see
#include "diagnostic-core.h"
#include "diagnostic-event-id.h"
#include "diagnostic-path.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
-#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
-#include "selftest.h"
#include "ordered-hash-map.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
@@ -22,7 +22,6 @@ along with GCC; see the file COPYING3. If not see
#include "system.h"
#include "coretypes.h"
#include "tree.h"
-#include "function.h"
#include "analyzer/analyzer.h"
#include "diagnostic-core.h"
#include "analyzer/analyzer-logging.h"
@@ -24,8 +24,6 @@ along with GCC; see the file COPYING3. If not see
#include "tree.h"
#include "intl.h"
#include "diagnostic.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
@@ -34,8 +32,6 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/sm.h"
#include "analyzer/pending-diagnostic.h"
#include "analyzer/diagnostic-manager.h"
-#include "selftest.h"
-#include "tristate.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
@@ -50,10 +46,6 @@ along with GCC; see the file COPYING3. If not see
#include "cgraph.h"
#include "analyzer/supergraph.h"
#include "analyzer/program-state.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
-#include "sbitmap.h"
#include "analyzer/exploded-graph.h"
#include "diagnostic-path.h"
#include "analyzer/checker-path.h"
@@ -24,7 +24,6 @@ along with GCC; see the file COPYING3. If not see
#include "tree.h"
#include "gimple-pretty-print.h"
#include "gcc-rich-location.h"
-#include "json.h"
#include "ordered-hash-map.h"
#include "options.h"
#include "cgraph.h"
@@ -41,14 +40,11 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/program-point.h"
#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
#include "selftest.h"
#include "analyzer/store.h"
#include "analyzer/region-model.h"
#include "analyzer/sm.h"
#include "analyzer/program-state.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
#include "diagnostic-event-id.h"
#include "analyzer/pending-diagnostic.h"
#include "analyzer/diagnostic-manager.h"
@@ -24,14 +24,11 @@ along with GCC; see the file COPYING3. If not see
#include "tree.h"
#include "diagnostic-core.h"
#include "diagnostic.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
#include "ordered-hash-map.h"
#include "selftest.h"
#include "analyzer/call-string.h"
@@ -40,9 +37,6 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/region-model.h"
#include "analyzer/program-state.h"
#include "analyzer/constraint-manager.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
#include "diagnostic-event-id.h"
#include "analyzer/pending-diagnostic.h"
#include "analyzer/diagnostic-manager.h"
@@ -28,9 +28,6 @@ along with GCC; see the file COPYING3. If not see
#include "gimple-iterator.h"
#include "diagnostic-core.h"
#include "pretty-print.h"
-#include "tristate.h"
-#include "selftest.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "options.h"
@@ -38,18 +38,11 @@ along with GCC; see the file COPYING3. If not see
#include "tree-pretty-print.h"
#include "diagnostic-color.h"
#include "diagnostic-metadata.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
#include "options.h"
-#include "cgraph.h"
-#include "cfg.h"
-#include "digraph.h"
#include "analyzer/supergraph.h"
#include "sbitmap.h"
#include "analyzer/call-string.h"
@@ -38,18 +38,11 @@ along with GCC; see the file COPYING3. If not see
#include "target.h"
#include "fold-const.h"
#include "tree-pretty-print.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
#include "options.h"
-#include "cgraph.h"
-#include "cfg.h"
-#include "digraph.h"
#include "analyzer/supergraph.h"
#include "sbitmap.h"
#include "analyzer/call-string.h"
@@ -36,23 +36,18 @@ along with GCC; see the file COPYING3. If not see
#include "target.h"
#include "fold-const.h"
#include "tree-pretty-print.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
#include "options.h"
-#include "cgraph.h"
-#include "cfg.h"
-#include "digraph.h"
-#include "json.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
#include "analyzer/region-model.h"
#include "analyzer/region-model-reachability.h"
+#include "diagnostic.h"
+#include "tree-diagnostic.h"
#if ENABLE_ANALYZER
@@ -39,18 +39,14 @@ along with GCC; see the file COPYING3. If not see
#include "tree-pretty-print.h"
#include "diagnostic-color.h"
#include "diagnostic-metadata.h"
-#include "tristate.h"
#include "bitmap.h"
#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
#include "options.h"
#include "cgraph.h"
#include "cfg.h"
-#include "digraph.h"
#include "analyzer/supergraph.h"
#include "sbitmap.h"
#include "analyzer/call-string.h"
@@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
(Zhongxing Xu, Ted Kremenek, and Jian Zhang)
http://lcs.ios.ac.cn/~xuzb/canalyze/memmodel.pdf */
+#include "selftest.h"
#include "analyzer/svalue.h"
#include "analyzer/region.h"
#include "analyzer/known-function-manager.h"
@@ -40,11 +40,7 @@ along with GCC; see the file COPYING3. If not see
#include "tree-pretty-print.h"
#include "diagnostic-color.h"
#include "diagnostic-metadata.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
@@ -28,8 +28,6 @@ along with GCC; see the file COPYING3. If not see
#include "options.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
@@ -37,8 +35,6 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/pending-diagnostic.h"
#include "analyzer/function-set.h"
#include "analyzer/analyzer-selftests.h"
-#include "tristate.h"
-#include "selftest.h"
#include "stringpool.h"
#include "attribs.h"
#include "analyzer/call-string.h"
@@ -28,8 +28,6 @@ along with GCC; see the file COPYING3. If not see
#include "options.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
@@ -37,7 +35,6 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/pending-diagnostic.h"
#include "analyzer/function-set.h"
#include "analyzer/analyzer-selftests.h"
-#include "tristate.h"
#include "selftest.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
@@ -29,15 +29,11 @@ along with GCC; see the file COPYING3. If not see
#include "bitmap.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
#include "analyzer/pending-diagnostic.h"
-#include "tristate.h"
-#include "selftest.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
@@ -30,15 +30,11 @@ along with GCC; see the file COPYING3. If not see
#include "tree-pretty-print.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
#include "analyzer/pending-diagnostic.h"
-#include "tristate.h"
-#include "selftest.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
@@ -24,14 +24,11 @@ along with GCC; see the file COPYING3. If not see
#include "coretypes.h"
#include "tree.h"
#include "function.h"
-#include "function.h"
#include "basic-block.h"
#include "gimple.h"
#include "options.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
@@ -31,15 +31,12 @@ along with GCC; see the file COPYING3. If not see
#include "bitmap.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "diagnostic-event-id.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
#include "analyzer/pending-diagnostic.h"
#include "sbitmap.h"
-#include "tristate.h"
#include "ordered-hash-map.h"
#include "selftest.h"
#include "analyzer/call-string.h"
@@ -48,13 +45,10 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/region-model.h"
#include "analyzer/program-state.h"
#include "analyzer/checker-path.h"
-#include "digraph.h"
#include "cfg.h"
#include "gimple-iterator.h"
#include "cgraph.h"
#include "analyzer/supergraph.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
#include "analyzer/diagnostic-manager.h"
#include "shortest-paths.h"
#include "analyzer/exploded-graph.h"
@@ -30,13 +30,9 @@ along with GCC; see the file COPYING3. If not see
#include "options.h"
#include "diagnostic-path.h"
#include "diagnostic-metadata.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "gimple-iterator.h"
-#include "tristate.h"
-#include "selftest.h"
#include "ordered-hash-map.h"
#include "cgraph.h"
#include "cfg.h"
@@ -31,11 +31,9 @@ along with GCC; see the file COPYING3. If not see
#include "pretty-print.h"
#include "diagnostic.h"
#include "tree-diagnostic.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
-#include "tristate.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
@@ -36,24 +36,16 @@ along with GCC; see the file COPYING3. If not see
#include "ssa-iterators.h"
#include "diagnostic-core.h"
#include "gimple-pretty-print.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/call-string.h"
-#include "digraph.h"
-#include "ordered-hash-map.h"
-#include "cfg.h"
-#include "gimple-iterator.h"
-#include "cgraph.h"
#include "analyzer/supergraph.h"
#include "analyzer/program-point.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/state-purge.h"
-#include "tristate.h"
-#include "selftest.h"
#include "analyzer/store.h"
#include "analyzer/region-model.h"
#include "gimple-walk.h"
+#include "cgraph.h"
#if ENABLE_ANALYZER
@@ -38,18 +38,13 @@ along with GCC; see the file COPYING3. If not see
#include "tree-pretty-print.h"
#include "diagnostic-color.h"
#include "diagnostic-metadata.h"
-#include "tristate.h"
#include "bitmap.h"
#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "ordered-hash-map.h"
#include "options.h"
-#include "cgraph.h"
#include "cfg.h"
-#include "digraph.h"
#include "analyzer/supergraph.h"
#include "sbitmap.h"
#include "analyzer/call-string.h"
@@ -21,8 +21,6 @@ along with GCC; see the file COPYING3. If not see
#ifndef GCC_ANALYZER_STORE_H
#define GCC_ANALYZER_STORE_H
-#include "tristate.h"
-
/* Implementation of the region-based ternary model described in:
"A Memory Model for Static Analysis of C Programs"
(Zhongxing Xu, Ted Kremenek, and Jian Zhang)
@@ -44,7 +44,6 @@ along with GCC; see the file COPYING3. If not see
#include "bitmap.h"
#include "cfganal.h"
#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "ordered-hash-map.h"
#include "options.h"
@@ -38,22 +38,16 @@ along with GCC; see the file COPYING3. If not see
#include "target.h"
#include "fold-const.h"
#include "tree-pretty-print.h"
-#include "tristate.h"
#include "bitmap.h"
-#include "selftest.h"
-#include "function.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
-#include "options.h"
-#include "cgraph.h"
-#include "cfg.h"
-#include "digraph.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
#include "analyzer/svalue.h"
#include "analyzer/region-model.h"
+#include "diagnostic.h"
+#include "tree-diagnostic.h"
#if ENABLE_ANALYZER
@@ -21,7 +21,6 @@ along with GCC; see the file COPYING3. If not see
#ifndef GCC_ANALYZER_SVALUE_H
#define GCC_ANALYZER_SVALUE_H
-#include "json.h"
#include "analyzer/complexity.h"
#include "analyzer/store.h"
#include "analyzer/program-point.h"
@@ -29,15 +29,8 @@ along with GCC; see the file COPYING3. If not see
#include "diagnostic-core.h"
#include "diagnostic-event-id.h"
#include "diagnostic-path.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
-#include "sbitmap.h"
#include "bitmap.h"
-#include "tristate.h"
-#include "selftest.h"
#include "ordered-hash-map.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
@@ -48,12 +41,6 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/store.h"
#include "analyzer/region-model.h"
#include "analyzer/constraint-manager.h"
-#include "cfg.h"
-#include "basic-block.h"
-#include "gimple.h"
-#include "gimple-iterator.h"
-#include "cgraph.h"
-#include "digraph.h"
#include "analyzer/supergraph.h"
#include "analyzer/program-state.h"
#include "analyzer/exploded-graph.h"
@@ -26,28 +26,17 @@ along with GCC; see the file COPYING3. If not see
#include "basic-block.h"
#include "gimple.h"
#include "diagnostic-path.h"
-#include "json.h"
#include "analyzer/analyzer.h"
#include "analyzer/analyzer-logging.h"
#include "analyzer/sm.h"
#include "analyzer/pending-diagnostic.h"
-#include "tristate.h"
-#include "selftest.h"
#include "analyzer/call-string.h"
#include "analyzer/program-point.h"
#include "analyzer/store.h"
#include "analyzer/region-model.h"
#include "analyzer/program-state.h"
#include "analyzer/checker-path.h"
-#include "digraph.h"
-#include "ordered-hash-map.h"
-#include "cfg.h"
-#include "gimple-iterator.h"
#include "analyzer/supergraph.h"
-#include "alloc-pool.h"
-#include "fibonacci_heap.h"
-#include "shortest-paths.h"
-#include "sbitmap.h"
#include "analyzer/diagnostic-manager.h"
#include "analyzer/exploded-graph.h"
#include "diagnostic-metadata.h"