Use new/delete instead of malloc/free (#332)

Also switch some void* -> char*, because it removes some unnecessary
casts. C++ does not like void*.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/tools/wasmopcodecnt.cc b/src/tools/wasmopcodecnt.cc
index 991b3302..4f09a958 100644
--- a/src/tools/wasmopcodecnt.cc
+++ b/src/tools/wasmopcodecnt.cc
@@ -334,13 +334,13 @@ int main(int argc, char** argv) {
   init_stdio();
   parse_options(argc, argv);
 
-  void* data;
+  char* data;
   size_t size;
   Result result = read_file(s_infile, &data, &size);
   if (WABT_FAILED(result)) {
     const char* input_name = s_infile ? s_infile : "stdin";
     ERROR("Unable to parse: %s", input_name);
-    wabt_free(data);
+    delete[] data;
   }
   FILE* out = stdout;
   if (s_outfile) {
@@ -378,6 +378,6 @@ int main(int argc, char** argv) {
     }
     destroy_opcnt_data(&opcnt_data);
   }
-  wabt_free(data);
+  delete[] data;
   return result != Result::Ok;
 }