Additional SymCC Build Fixes (#954)

fuzzers/libfuzzer_stb_image_concolic/fuzzer/build.rs

@@ -39,6 +39,7 @@ fn main() {
         // Take advantage of LTO (needs lld-link set in your cargo config)
         //.flag("-flto=thin")
         .flag("-Wno-sign-compare")
+        .flag("-Wunused-but-set-variable")
         .file("./harness.c")
         .compile("harness");
 
@@ -74,6 +75,7 @@ fn main() {
 
     let output = cc::Build::new()
         .flag("-Wno-sign-compare")
+        .flag("-Wunused-but-set-variable")
         .cargo_metadata(false)
         .get_compiler()
         .to_command()

fuzzers/libfuzzer_stb_image_concolic/runtime/src/lib.rs

@@ -3,6 +3,9 @@
 //! Additionally, it concretizes all floating point operations for simplicity.
 //! Refer to the `symcc_runtime` crate documentation for building your own runtime.
 
+// The lib needs to be named SymRuntime for SymCC to find it
+#![allow(non_snake_case)]
+
 use symcc_runtime::{
     export_runtime,
     filter::{CallStackCoverage, NoFloat},