BIND 10 master, updated. 88a8de015f4652fd73164457414f72ab43dcf681 [master] remove unused code, reported by Clang Static Analyzer

[BIND 10 source code commits]

The branch, master has been updated
       via  88a8de015f4652fd73164457414f72ab43dcf681 (commit)
      from  e75c686cd9c14f4d6c2a242a0a0853314704fee9 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 88a8de015f4652fd73164457414f72ab43dcf681
Author: Jeremy C. Reed <jreed at ISC.org>
Date:   Wed Oct 31 07:55:00 2012 -0500

    [master] remove unused code, reported by Clang Static Analyzer
    
    from Clang Static Analyzer:
    Dead Increment
    Value stored to 'argv' is never read
    
    (This was just a step that is commonly used per getopt docs.)
    
    Okayed via jabber.

-----------------------------------------------------------------------

Summary of changes:
 src/lib/bench/example/search_bench.cc              |    1 -
 .../memory/benchmarks/rdata_reader_bench.cc        |    1 -
 .../memory/benchmarks/rrset_render_bench.cc        |    1 -
 src/lib/dns/benchmarks/message_renderer_bench.cc   |    1 -
 4 files changed, 4 deletions(-)

-----------------------------------------------------------------------
diff --git a/src/lib/bench/example/search_bench.cc b/src/lib/bench/example/search_bench.cc
index 84f95d9..d022d55 100644
--- a/src/lib/bench/example/search_bench.cc
+++ b/src/lib/bench/example/search_bench.cc
@@ -116,7 +116,6 @@ main(int argc, char* argv[]) {
         }
     }
     argc -= optind;
-    argv += optind;
     if (argc != 0) {
         usage();
     }
diff --git a/src/lib/datasrc/memory/benchmarks/rdata_reader_bench.cc b/src/lib/datasrc/memory/benchmarks/rdata_reader_bench.cc
index 4e6af56..7bb919f 100644
--- a/src/lib/datasrc/memory/benchmarks/rdata_reader_bench.cc
+++ b/src/lib/datasrc/memory/benchmarks/rdata_reader_bench.cc
@@ -183,7 +183,6 @@ main(int argc, char* argv[]) {
         }
     }
     argc -= optind;
-    argv += optind;
     if (argc != 0) {
         usage();
     }
diff --git a/src/lib/datasrc/memory/benchmarks/rrset_render_bench.cc b/src/lib/datasrc/memory/benchmarks/rrset_render_bench.cc
index bc418e8..266f4f5 100644
--- a/src/lib/datasrc/memory/benchmarks/rrset_render_bench.cc
+++ b/src/lib/datasrc/memory/benchmarks/rrset_render_bench.cc
@@ -179,7 +179,6 @@ main(int argc, char* argv[]) {
         }
     }
     argc -= optind;
-    argv += optind;
     if (argc != 0) {
         usage();
     }
diff --git a/src/lib/dns/benchmarks/message_renderer_bench.cc b/src/lib/dns/benchmarks/message_renderer_bench.cc
index abf3192..f5b3e38 100644
--- a/src/lib/dns/benchmarks/message_renderer_bench.cc
+++ b/src/lib/dns/benchmarks/message_renderer_bench.cc
@@ -145,7 +145,6 @@ main(int argc, char* argv[]) {
         }
     }
     argc -= optind;
-    argv += optind;
     if (argc != 0) {
         usage();
     }