warning message for #2

Author: leon-thomm

Cargo.toml

@@ -9,6 +9,7 @@ edition = "2018"
 [dependencies]
 clap = { version = "3.2.22", features = ["derive"] }
 color-eyre = "0.6.2"
+colored = "2.1.0"
 
 # Speed up `backtrace` even on a debug build. Suggested by `color-eyre`.
 [profile.dev.package.backtrace]

src/parser.rs

@@ -4,6 +4,7 @@
 use crate::wasm::syntax::*;
 use crate::Maybe;
 use color_eyre::eyre::eyre;
+use colored::Colorize;
 use std::collections::HashMap;
 use std::convert::TryInto;
 
@@ -48,6 +49,12 @@ macro_rules! err {
     }}
 }
 
+macro_rules! warn {
+    ($($args:tt)*) => {{
+        eprintln!("{}", format_args!("WARNING -- {}", $($args)*).to_string().green());
+    }}
+}
+
 /// Little Endian Base 128 encoding of unsigned ints. Parses `bits` bits into a `u64`.
 fn leb128_u(mut inp: &[u8], bits: usize) -> Parsed<u64> {
     let n = inp[0] as u64;
@@ -880,11 +887,9 @@ generate! { module -> Module = {
             let mut data: &[u8] = data;
             let names = run_parser!(names(data));
             // below check seems broken, see https://github.com/secure-foundations/rWasm/issues/2
-            // if data.len() == 0 {
-            //     names
-            // } else {
-            //     err!("Unused bytes in the custom name section")
-            // }
+            if data.len() != 0 {
+                warn!("Unused bytes in the custom name section; ingoring")
+            }
             names
         } else {
             Names {