re-enable compiler warnings

Author: kroening

src/Makefile

@@ -27,7 +27,7 @@ hw-cbmc.dir: trans-word-level.dir trans-netlist.dir verilog.dir \
 .PHONY: cprover.dir
 cprover.dir:
 	$(MAKE) $(MAKEARGS) -C $(CPROVER_DIR) \
-  CP_EXTRA_CXXFLAGS='-D"LOCAL_IREP_IDS=<$(EBMC_DIR)/hw_cbmc_irep_ids.h>" -Wno-unused-but-set-variable -Wno-unused-variable -Wno-error=maybe-uninitialized'
+  CP_EXTRA_CXXFLAGS='-D"LOCAL_IREP_IDS=<$(EBMC_DIR)/hw_cbmc_irep_ids.h>"'
 
 clean: $(patsubst %, %_clean, $(SUBDIRS))
 

src/config.inc

@@ -1,7 +1,5 @@
 CBMC = ../../lib/cbmc
 
-CXXFLAGS += -Wno-unused-variable -Wno-error=unused-but-set-variable
-
 include $(CBMC)/src/config.inc
 include $(CBMC)/src/common