From 74162d9a2549446fcda73843cc88ade04a96a1a0 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Wed, 27 Mar 2019 14:56:55 -0400
Subject: [PATCH 155/169] FIXME: delete dead .html reports

---
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 ...ough_uninitialized_pointer-refcount-errors.html | 175 ---------------------
 16 files changed, 2800 deletions(-)
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/correct_usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/double_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/fancy_control_flow/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/leak-in-error-handling/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/not-a-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/simple-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/unchecked-return/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/two_ptrs/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/unchecked_malloc/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/use_after_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/dot/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/parser/malloc-checker/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/patterns/arg-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/patterns/result-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-dereference/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
 delete mode 100644 gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html

diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/correct_usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/correct_usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/correct_usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/double_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/double_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/double_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/fancy_control_flow/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/fancy_control_flow/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/fancy_control_flow/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/leak-in-error-handling/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/leak-in-error-handling/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/leak-in-error-handling/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/not-a-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/not-a-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/not-a-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/simple-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/simple-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/simple-leak/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/unchecked-return/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/unchecked-return/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/leaks/unchecked-return/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/two_ptrs/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/two_ptrs/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/two_ptrs/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/unchecked_malloc/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/unchecked_malloc/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/unchecked_malloc/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/use_after_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/use_after_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/checkers/malloc-checker/use_after_free/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/dot/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/dot/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/dot/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/parser/malloc-checker/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/parser/malloc-checker/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/parser/malloc-checker/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/arg-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/arg-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/arg-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/result-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/result-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/result-of-fn-call/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-dereference/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-dereference/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-dereference/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
diff --git a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html b/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
deleted file mode 100644
index b92b8e0..0000000
--- a/gcc/testsuite/gcc.dg/TODO-analyzer/patterns/var-usage/input.c.test_read_through_uninitialized_pointer-refcount-errors.html
+++ /dev/null
@@ -1,175 +0,0 @@
-<html>
-  <head>
-    <title>test_read_through_uninitialized_pointer</title>
-    <style type="text/css">
-.unreached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-line {
-    #margin:1em;
-    #border:0.1em dotted #00aa00;
-    border: 0.1em solid blue;
-    font-weight: bold;
-
-    opacity:1.0;
-    filter:alpha(opacity=0);
-    #color:black;
-}
-
-.reached-lineno {
-    border: 0.1em solid blue;
-    font-weight: bold;
-}
-
-pre {
-    #line-height:200%
-}
-
-._jsPlumb_connector { z-index: -2; }
-._jsPlumb_endpoint { z-index: -1; }
-
-.transition {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.error {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #cc0000;
-    -moz-box-shadow: 2px 2px 2px #cc0000;
-    -webkit-box-shadow: 2px 2px 2px #cc0000;
-    box-shadow: 2px 2px 2px #cc0000;
-    margin-left: 5em;
-    color: red;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.note {
-    #border: 0.1em dotted #ddffdd;
-    #padding: 1em;
-    border: 0.1em solid #ccc;
-    -moz-box-shadow: 2px 2px 2px #ccc;
-    -webkit-box-shadow: 2px 2px 2px #ccc;
-    box-shadow: 2px 2px 2px #ccc;
-    margin-left: 5em;
-    font-family: proportional;
-    font-weight: bold;
-    font-style: italic;
-    font-size: 90%;
-}
-
-.hll { background-color: #ffffcc }
-.source_c { color: #408080; font-style: italic } /* Comment */
-.source_err { border: 1px solid #FF0000 } /* Error */
-.source_k { color: #008000; font-weight: bold } /* Keyword */
-.source_o { color: #666666 } /* Operator */
-.source_cm { color: #408080; font-style: italic } /* Comment.Multiline */
-.source_cp { color: #BC7A00 } /* Comment.Preproc */
-.source_c1 { color: #408080; font-style: italic } /* Comment.Single */
-.source_cs { color: #408080; font-style: italic } /* Comment.Special */
-.source_gd { color: #A00000 } /* Generic.Deleted */
-.source_ge { font-style: italic } /* Generic.Emph */
-.source_gr { color: #FF0000 } /* Generic.Error */
-.source_gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.source_gi { color: #00A000 } /* Generic.Inserted */
-.source_go { color: #808080 } /* Generic.Output */
-.source_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.source_gs { font-weight: bold } /* Generic.Strong */
-.source_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.source_gt { color: #0040D0 } /* Generic.Traceback */
-.source_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.source_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.source_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.source_kp { color: #008000 } /* Keyword.Pseudo */
-.source_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.source_kt { color: #B00040 } /* Keyword.Type */
-.source_m { color: #666666 } /* Literal.Number */
-.source_s { color: #BA2121 } /* Literal.String */
-.source_na { color: #7D9029 } /* Name.Attribute */
-.source_nb { color: #008000 } /* Name.Builtin */
-.source_nc { color: #0000FF; font-weight: bold } /* Name.Class */
-.source_no { color: #880000 } /* Name.Constant */
-.source_nd { color: #AA22FF } /* Name.Decorator */
-.source_ni { color: #999999; font-weight: bold } /* Name.Entity */
-.source_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
-.source_nf { color: #0000FF } /* Name.Function */
-.source_nl { color: #A0A000 } /* Name.Label */
-.source_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
-.source_nt { color: #008000; font-weight: bold } /* Name.Tag */
-.source_nv { color: #19177C } /* Name.Variable */
-.source_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
-.source_w { color: #bbbbbb } /* Text.Whitespace */
-.source_mf { color: #666666 } /* Literal.Number.Float */
-.source_mh { color: #666666 } /* Literal.Number.Hex */
-.source_mi { color: #666666 } /* Literal.Number.Integer */
-.source_mo { color: #666666 } /* Literal.Number.Oct */
-.source_sb { color: #BA2121 } /* Literal.String.Backtick */
-.source_sc { color: #BA2121 } /* Literal.String.Char */
-.source_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.source_s2 { color: #BA2121 } /* Literal.String.Double */
-.source_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
-.source_sh { color: #BA2121 } /* Literal.String.Heredoc */
-.source_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
-.source_sx { color: #008000 } /* Literal.String.Other */
-.source_sr { color: #BB6688 } /* Literal.String.Regex */
-.source_s1 { color: #BA2121 } /* Literal.String.Single */
-.source_ss { color: #19177C } /* Literal.String.Symbol */
-.source_bp { color: #008000 } /* Name.Builtin.Pseudo */
-.source_vc { color: #19177C } /* Name.Variable.Class */
-.source_vg { color: #19177C } /* Name.Variable.Global */
-.source_vi { color: #19177C } /* Name.Variable.Instance */
-.source_il { color: #666666 } /* Literal.Number.Integer.Long */    </style>
-  </head>
-  <body>
-<script type="text/javascript" src="http://explorercanvas.googlecode.com/svn/trunk/excanvas.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.0/jquery.min.js"></script>
-<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
-<script type="text/javascript" src="http://jsplumb.googlecode.com/files/jquery.jsPlumb-1.2.6-all-min.js"></script>
-<div id="report-0">
-<table>
-  <tr><td>File:</td> <td><b>tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c</b></td></tr>
-  <tr><td>Function:</td> <td><b>test_read_through_uninitialized_pointer</b></td></tr>
-  <tr><td>Error:</td> <td><b>dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</b></td></tr>
-</table>
-<div class="highlight"><pre><span class="lineno">30</span> <span id="trace0-line30" class="unreached-line"><span class="source_kt">int</span> <span class="source_nf">test_read_through_uninitialized_pointer</span><span class="source_p">(</span><span class="source_kt">void</span><span class="source_p">)</span></span>
-<span class="lineno">31</span> <span id="trace0-line31" class="unreached-line"><span class="source_p">{</span></span>
-<span class="lineno">32</span> <span id="trace0-line32" class="unreached-line">    <span class="source_k">struct</span> <span class="source_n">coord</span> <span class="source_o">*</span><span class="source_n">coord_ptr</span><span class="source_p">;</span></span>
-<span class="lineno">33</span> <span id="trace0-line33" class="unreached-line"></span>
-<span class="lineno">34</span> <span id="trace0-line34" class="unreached-line">    <span class="source_k">return</span> <span class="source_n">coord_ptr</span><span class="source_o">-&gt;</span><span class="source_n">x</span><span class="source_p">;</span></span>
-<span class="reached-lineno">35</span> <span id="trace0-line35" class="reached-line"><span class="source_p">}</span></span>
-<span class="error">dereferencing uninitialized pointer (coord_ptr->x) at tests/cpychecker/absinterp/read-through-uninitialized-ptr/input.c:35</span>
-<span class="lineno">36</span> <span id="trace0-line36" class="unreached-line"></pre></div></span>
-</pre></div>
-
-<script type="text/javascript">
-  jsPlumb.bind("ready", function() {
-    /* Set up defaults: */
-    jsPlumb.Defaults.Connector = [ "Bezier", 1 ];
-    jsPlumb.Defaults.Connector = [ "Straight" ];
-    jsPlumb.Defaults.PaintStyle = { strokeStyle:"blue", lineWidth:1 };
-    jsPlumb.Defaults.EndpointStyle = { radius:2, fillStyle:"red" };
-    jsPlumb.Defaults.Anchors =  [ "BottomCenter", "TopCenter" ];
-
-    /* Add lines: */
-  })
-</script>
-<hr/></div>
-  </body>
-- 
1.8.5.3

