Update the bazel BUILD (and clean new warnings)

Signed-off-by: Matt Liberty <[email protected]>

Author: maliberty

BUILD

@@ -105,6 +105,7 @@ cc_library(
         "src/aig/gia/giaBalLut.c",
         "src/aig/gia/giaBalMap.c",
         "src/aig/gia/giaBidec.c",
+        "src/aig/gia/giaBsFind.c",
         "src/aig/gia/giaBound.c",
         "src/aig/gia/giaCCof.c",
         "src/aig/gia/giaCex.c",
@@ -119,6 +120,7 @@ cc_library(
         "src/aig/gia/giaCTas.c",
         "src/aig/gia/giaCut.c",
         "src/aig/gia/giaDecs.c",
+        "src/aig/gia/giaDecGraph.cpp",
         "src/aig/gia/giaDeep.c",
         "src/aig/gia/giaDfs.c",
         "src/aig/gia/giaDup.c",
@@ -149,6 +151,7 @@ cc_library(
         "src/aig/gia/giaJf.c",
         "src/aig/gia/giaKf.c",
         "src/aig/gia/giaLf.c",
+        "src/aig/gia/giaLutCas.c",
         "src/aig/gia/giaMan.c",
         "src/aig/gia/giaMem.c",
         "src/aig/gia/giaMf.c",
@@ -157,6 +160,7 @@ cc_library(
         "src/aig/gia/giaMinLut2.c",
         "src/aig/gia/giaMinLut.c",
         "src/aig/gia/giaMulFind.c",
+        "src/aig/gia/giaMulFind3.c",
         "src/aig/gia/giaMuxes.c",
         "src/aig/gia/giaNf.c",
         "src/aig/gia/giaOf.c",
@@ -173,6 +177,7 @@ cc_library(
         "src/aig/gia/giaResub.c",
         "src/aig/gia/giaRetime.c",
         "src/aig/gia/giaRex.c",
+        "src/aig/gia/giaRrr.cpp",
         "src/aig/gia/giaSat3.c",
         "src/aig/gia/giaSatEdge.c",
         "src/aig/gia/giaSatLE.c",
@@ -422,6 +427,7 @@ cc_library(
         "src/base/exor/exorUtil.c",
         "src/base/io/io.c",
         "src/base/io/ioJson.c",
+        "src/base/io/ioJsonc.c",
         "src/base/io/ioReadAiger.c",
         "src/base/io/ioReadBaf.c",
         "src/base/io/ioReadBblif.c",
@@ -448,6 +454,7 @@ cc_library(
         "src/base/io/ioWriteEdgelist.c",
         "src/base/io/ioWriteEqn.c",
         "src/base/io/ioWriteGml.c",
+        "src/base/io/ioWriteHMetis.c",
         "src/base/io/ioWriteList.c",
         "src/base/io/ioWritePla.c",
         "src/base/io/ioWriteSmv.c",
@@ -676,6 +683,7 @@ cc_library(
         "src/map/if/ifCore.c",
         "src/map/if/ifCut.c",
         "src/map/if/ifData2.c",
+        "src/map/if/ifDecJ.c",
         "src/map/if/ifDec07.c",
         "src/map/if/ifDec08.c",
         "src/map/if/ifDec10.c",
@@ -804,11 +812,15 @@ cc_library(
         "src/misc/tim/timTime.c",
         "src/misc/tim/timTrav.c",
         "src/misc/util/utilBridge.c",
+        "src/misc/util/utilBSet.c",
         "src/misc/util/utilCex.c",
         "src/misc/util/utilColor.c",
         "src/misc/util/utilFile.c",
         "src/misc/util/utilIsop.c",
+        "src/misc/util/utilMiniver.c",
+        "src/misc/util/utilMulSim.c",
         "src/misc/util/utilNam.c",
+        "src/misc/util/utilPrefix.cpp",
         "src/misc/util/utilPth.c",
         "src/misc/util/utilSignal.c",
         "src/misc/util/utilSort.c",
@@ -867,6 +879,8 @@ cc_library(
         "src/opt/dau/dauNpn.c",
         "src/opt/dau/dauTree.c",
         "src/opt/dsc/dsc.c",
+        "src/opt/eslim/relationGeneration.cpp",
+        "src/opt/eslim/eSLIM.cpp",
         "src/opt/fret/fretFlow.c",
         "src/opt/fret/fretInit.c",
         "src/opt/fret/fretMain.c",
@@ -934,6 +948,10 @@ cc_library(
         "src/opt/ret/retIncrem.c",
         "src/opt/ret/retInit.c",
         "src/opt/ret/retLvalue.c",
+        "src/opt/rar/rewireRng.c",
+        "src/opt/rar/rewireMap.c",
+        "src/opt/rar/rewireRar.c",
+        "src/opt/rar/rewireMiaig.cpp",
         "src/opt/rwr/rwrDec.c",
         "src/opt/rwr/rwrEva.c",
         "src/opt/rwr/rwrExp.c",
@@ -1145,6 +1163,8 @@ cc_library(
         "src/sat/bmc/bmcInse.c",
         "src/sat/bmc/bmcLoad.c",
         "src/sat/bmc/bmcMaj2.c",
+        "src/sat/bmc/bmcMaj8.c",
+        "src/sat/bmc/bmcMaj7.c",
         "src/sat/bmc/bmcMaj3.c",
         "src/sat/bmc/bmcMaj.c",
         "src/sat/bmc/bmcMaxi.c",
@@ -1166,6 +1186,97 @@ cc_library(
         "src/sat/bsat/satTrace.c",
         "src/sat/bsat/satTruth.c",
         "src/sat/bsat/satUtil.c",
+        "src/sat/cadical/cadicalSolver.c",
+        "src/sat/cadical/cadicalTest.c",
+        "src/sat/cadical/cadical_analyze.cpp",
+        "src/sat/cadical/cadical_arena.cpp",
+        "src/sat/cadical/cadical_assume.cpp",
+        "src/sat/cadical/cadical_averages.cpp",
+        "src/sat/cadical/cadical_backtrack.cpp",
+        "src/sat/cadical/cadical_backward.cpp",
+        "src/sat/cadical/cadical_bins.cpp",
+        "src/sat/cadical/cadical_block.cpp",
+        "src/sat/cadical/cadical_ccadical.cpp",
+        "src/sat/cadical/cadical_checker.cpp",
+        "src/sat/cadical/cadical_clause.cpp",
+        "src/sat/cadical/cadical_collect.cpp",
+        "src/sat/cadical/cadical_compact.cpp",
+        "src/sat/cadical/cadical_condition.cpp",
+        "src/sat/cadical/cadical_config.cpp",
+        "src/sat/cadical/cadical_congruence.cpp",
+        "src/sat/cadical/cadical_constrain.cpp",
+        "src/sat/cadical/cadical_contract.cpp",
+        "src/sat/cadical/cadical_cover.cpp",
+        "src/sat/cadical/cadical_decide.cpp",
+        "src/sat/cadical/cadical_decompose.cpp",
+        "src/sat/cadical/cadical_deduplicate.cpp",
+        "src/sat/cadical/cadical_definition.cpp",
+        "src/sat/cadical/cadical_drattracer.cpp",
+        "src/sat/cadical/cadical_elim.cpp",
+        "src/sat/cadical/cadical_elimfast.cpp",
+        "src/sat/cadical/cadical_ema.cpp",
+        "src/sat/cadical/cadical_extend.cpp",
+        "src/sat/cadical/cadical_external.cpp",
+        "src/sat/cadical/cadical_external_propagate.cpp",
+        "src/sat/cadical/cadical_factor.cpp",
+        "src/sat/cadical/cadical_file.cpp",
+        "src/sat/cadical/cadical_flags.cpp",
+        "src/sat/cadical/cadical_flip.cpp",
+        "src/sat/cadical/cadical_format.cpp",
+        "src/sat/cadical/cadical_frattracer.cpp",
+        "src/sat/cadical/cadical_gates.cpp",
+        "src/sat/cadical/cadical_idruptracer.cpp",
+        "src/sat/cadical/cadical_instantiate.cpp",
+        "src/sat/cadical/cadical_internal.cpp",
+        "src/sat/cadical/cadical_ipasir.cpp",
+        "src/sat/cadical/cadical_lidruptracer.cpp",
+        "src/sat/cadical/cadical_limit.cpp",
+        "src/sat/cadical/cadical_logging.cpp",
+        "src/sat/cadical/cadical_lookahead.cpp",
+        "src/sat/cadical/cadical_lratchecker.cpp",
+        "src/sat/cadical/cadical_lrattracer.cpp",
+        "src/sat/cadical/cadical_lucky.cpp",
+        "src/sat/cadical/cadical_message.cpp",
+        "src/sat/cadical/cadical_minimize.cpp",
+        "src/sat/cadical/cadical_occs.cpp",
+        "src/sat/cadical/cadical_options.cpp",
+        "src/sat/cadical/cadical_parse.cpp",
+        "src/sat/cadical/cadical_phases.cpp",
+        "src/sat/cadical/cadical_probe.cpp",
+        "src/sat/cadical/cadical_profile.cpp",
+        "src/sat/cadical/cadical_proof.cpp",
+        "src/sat/cadical/cadical_propagate.cpp",
+        "src/sat/cadical/cadical_queue.cpp",
+        "src/sat/cadical/cadical_random.cpp",
+        "src/sat/cadical/cadical_reap.cpp",
+        "src/sat/cadical/cadical_reduce.cpp",
+        "src/sat/cadical/cadical_rephase.cpp",
+        "src/sat/cadical/cadical_report.cpp",
+        "src/sat/cadical/cadical_resources.cpp",
+        "src/sat/cadical/cadical_restart.cpp",
+        "src/sat/cadical/cadical_restore.cpp",
+        "src/sat/cadical/cadical_score.cpp",
+        "src/sat/cadical/cadical_shrink.cpp",
+        "src/sat/cadical/cadical_signal.cpp",
+        "src/sat/cadical/cadical_solution.cpp",
+        "src/sat/cadical/cadical_solver.cpp",
+        "src/sat/cadical/cadical_stable.cpp",
+        "src/sat/cadical/cadical_stats.cpp",
+        "src/sat/cadical/cadical_subsume.cpp",
+        "src/sat/cadical/cadical_sweep.cpp",
+        "src/sat/cadical/cadical_terminal.cpp",
+        "src/sat/cadical/cadical_ternary.cpp",
+        "src/sat/cadical/cadical_tier.cpp",
+        "src/sat/cadical/cadical_transred.cpp",
+        "src/sat/cadical/cadical_unstable.cpp",
+        "src/sat/cadical/cadical_util.cpp",
+        "src/sat/cadical/cadical_var.cpp",
+        "src/sat/cadical/cadical_veripbtracer.cpp",
+        "src/sat/cadical/cadical_version.cpp",
+        "src/sat/cadical/cadical_vivify.cpp",
+        "src/sat/cadical/cadical_walk.cpp",
+        "src/sat/cadical/cadical_watch.cpp",
+        "src/sat/cadical/cadical_kitten.c",
         "src/sat/cnf/cnfCore.c",
         "src/sat/cnf/cnfCut.c",
         "src/sat/cnf/cnfData.c",
@@ -1188,6 +1299,97 @@ cc_library(
         "src/sat/glucose/Options.cpp",
         "src/sat/glucose/SimpSolver.cpp",
         "src/sat/glucose/System.cpp",
+        "src/sat/kissat/kissatSolver.c",
+        "src/sat/kissat/kissatTest.c",
+        "src/sat/kissat/allocate.c",
+        "src/sat/kissat/analyze.c",
+        "src/sat/kissat/ands.c",
+        "src/sat/kissat/arena.c",
+        "src/sat/kissat/assign.c",
+        "src/sat/kissat/averages.c",
+        "src/sat/kissat/backbone.c",
+        "src/sat/kissat/backtrack.c",
+        "src/sat/kissat/build.c",
+        "src/sat/kissat/bump.c",
+        "src/sat/kissat/check.c",
+        "src/sat/kissat/classify.c",
+        "src/sat/kissat/clause.c",
+        "src/sat/kissat/collect.c",
+        "src/sat/kissat/colors.c",
+        "src/sat/kissat/compact.c",
+        "src/sat/kissat/config.c",
+        "src/sat/kissat/congruence.c",
+        "src/sat/kissat/decide.c",
+        "src/sat/kissat/deduce.c",
+        "src/sat/kissat/definition.c",
+        "src/sat/kissat/dense.c",
+        "src/sat/kissat/dump.c",
+        "src/sat/kissat/eliminate.c",
+        "src/sat/kissat/equivalences.c",
+        "src/sat/kissat/error.c",
+        "src/sat/kissat/extend.c",
+        "src/sat/kissat/factor.c",
+        "src/sat/kissat/fastel.c",
+        "src/sat/kissat/file.c",
+        "src/sat/kissat/flags.c",
+        "src/sat/kissat/format.c",
+        "src/sat/kissat/forward.c",
+        "src/sat/kissat/gates.c",
+        "src/sat/kissat/heap.c",
+        "src/sat/kissat/ifthenelse.c",
+        "src/sat/kissat/import.c",
+        "src/sat/kissat/internal.c",
+        "src/sat/kissat/kimits.c",
+        "src/sat/kissat/kitten.c",
+        "src/sat/kissat/krite.c",
+        "src/sat/kissat/learn.c",
+        "src/sat/kissat/logging.c",
+        "src/sat/kissat/kucky.c",
+        "src/sat/kissat/minimize.c",
+        "src/sat/kissat/mode.c",
+        "src/sat/kissat/kptions.c",
+        "src/sat/kissat/phases.c",
+        "src/sat/kissat/preprocess.c",
+        "src/sat/kissat/print.c",
+        "src/sat/kissat/probe.c",
+        "src/sat/kissat/profile.c",
+        "src/sat/kissat/promote.c",
+        "src/sat/kissat/proof.c",
+        "src/sat/kissat/propbeyond.c",
+        "src/sat/kissat/propdense.c",
+        "src/sat/kissat/propinitially.c",
+        "src/sat/kissat/proprobe.c",
+        "src/sat/kissat/propsearch.c",
+        "src/sat/kissat/queue.c",
+        "src/sat/kissat/reduce.c",
+        "src/sat/kissat/reluctant.c",
+        "src/sat/kissat/reorder.c",
+        "src/sat/kissat/rephase.c",
+        "src/sat/kissat/report.c",
+        "src/sat/kissat/resize.c",
+        "src/sat/kissat/resolve.c",
+        "src/sat/kissat/resources.c",
+        "src/sat/kissat/restart.c",
+        "src/sat/kissat/search.c",
+        "src/sat/kissat/shrink.c",
+        "src/sat/kissat/smooth.c",
+        "src/sat/kissat/sort.c",
+        "src/sat/kissat/stack.c",
+        "src/sat/kissat/statistics.c",
+        "src/sat/kissat/strengthen.c",
+        "src/sat/kissat/substitute.c",
+        "src/sat/kissat/sweep.c",
+        "src/sat/kissat/terminate.c",
+        "src/sat/kissat/tiers.c",
+        "src/sat/kissat/trail.c",
+        "src/sat/kissat/transitive.c",
+        "src/sat/kissat/utilities.c",
+        "src/sat/kissat/vector.c",
+        "src/sat/kissat/vivify.c",
+        "src/sat/kissat/walk.c",
+        "src/sat/kissat/warmup.c",
+        "src/sat/kissat/watch.c",
+        "src/sat/kissat/weaken.c",
         "src/sat/msat/msatActivity.c",
         "src/sat/msat/msatClause.c",
         "src/sat/msat/msatClauseVec.c",
@@ -1208,7 +1410,7 @@ cc_library(
         "src/sat/xsat/xsatSolverAPI.c",
         "src/sat/xsat/xsatSolver.c",
     ],
-    hdrs = glob(["src/**/*.h"]) + glob(["src/**/*.hpp"]),
+    hdrs = glob(["src/**/*.h"]) + glob(["src/**/*.hpp"]) + glob(["src/**/*.tpp"]),
     copts = [
         "-Wno-sign-compare",
         "-Wno-unused-function",
@@ -1248,6 +1450,7 @@ cc_library(
         "src/base/abci/abciUnfold2.c",
         "src/base/abci/abcDarUnfold2.c",
         "src/aig/saig/saigUnfold2.c",
+        "src/sat/kissat/sort.c",
     ],
     visibility = ["//visibility:public"],
     deps = [

src/base/io/ioJsonc.c

@@ -182,7 +182,7 @@ json_container_t* json_add_container(json_t *json) {
 
 // Parse a JSON string
 json_value_t json_parse_string(json_t *json, uint32_t *pos) {
-    json_value_t val = {0};
+    json_value_t val = {0, 0, JSON_NULL};
     val.type = JSON_STRING;
     val.offset = *pos;
 
@@ -200,7 +200,7 @@ json_value_t json_parse_string(json_t *json, uint32_t *pos) {
 
 // Parse a JSON number
 json_value_t json_parse_number(json_t *json, uint32_t *pos) {
-    json_value_t val = {0};
+    json_value_t val = {0, 0, JSON_NULL};
     val.type = JSON_NUMBER;
     val.offset = *pos;
 
@@ -220,7 +220,7 @@ json_value_t json_parse_number(json_t *json, uint32_t *pos) {
 
 // Parse a JSON object
 json_value_t json_parse_object(json_t *json, uint32_t *pos) {
-    json_value_t val = {0};
+    json_value_t val = {0, 0, JSON_NULL};
     val.type = JSON_OBJECT;
     val.offset = *pos;
 
@@ -275,7 +275,7 @@ json_value_t json_parse_object(json_t *json, uint32_t *pos) {
 
 // Parse a JSON array
 json_value_t json_parse_array(json_t *json, uint32_t *pos) {
-    json_value_t val = {0};
+    json_value_t val = {0, 0, JSON_NULL};
     val.type = JSON_ARRAY;
     val.offset = *pos;
 
@@ -322,7 +322,7 @@ json_value_t json_parse_array(json_t *json, uint32_t *pos) {
 
 // Parse any JSON value
 json_value_t json_parse_value(json_t *json, uint32_t *pos) {
-    json_value_t val = {0};
+    json_value_t val = {0, 0, JSON_NULL};
 
     json_skip_whitespace(json->str, pos, json->str_len);
 

src/misc/util/abc_global.h

@@ -525,7 +525,7 @@ static inline void * Abc_FileReadContents( char * pFileName, int * pnFileSize )
     rewind( pFile );
     // load the contents of the file into memory
     pBuffer = ABC_ALLOC( char, nFileSize + 32 );
-    fread( pBuffer, 1, nFileSize, pFile );
+    (void) fread( pBuffer, 1, nFileSize, pFile );
     memset( pBuffer + nFileSize, 0, 32 );
     fclose( pFile );
     return (void *)pBuffer;

src/misc/util/utilPrefix.cpp

@@ -42,7 +42,7 @@
 //#include <cstdio>
 
 
-class Graph;
+struct Graph;
 class Node {
 public:
 	Node(int bitpos, int level=0)

src/sat/cadical/cadical_arena.cpp

@@ -7,7 +7,12 @@ ABC_NAMESPACE_IMPL_START
 namespace CaDiCaL {
 
 Arena::Arena (Internal *i) {
-  memset (this, 0, sizeof *this);
+  from.start = 0;
+  from.top = 0;
+  from.end= 0;
+  to.start = 0;
+  to.top = 0;
+  to.end= 0;
   internal = i;
 }