Snippets for yosys 0.70 from Nix aarch64-darwin

Sourced from https://hydra.nixos.org/log/v4i82id6wgwvbw5fgklv0j4k692pmjqz-yosys-0.70.drv.

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/sn/snLiberty.h:3134:13: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
   3134 |             sprintf(model->error, "%s: %s", path, message);
        |             ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/sn/snLiberty.h:4180:13: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
   4180 |             sprintf(model->error, "%s: %s", path, problem);
        |             ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/sn/snLiberty.h:4204:17: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
   4204 |                 sprintf(model->error, "%s: cannot open file", path);
        |                 ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/sn/snLiberty.h:4245:17: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
   4245 |                 sprintf(model->error, "%s: read error", path);
        |                 ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/sn/sn.h:3639:13: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
   3639 |             sprintf(child_prefix, "%s%s.", state_prefix, leaf_name);
        |             ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/sn/sn.h:3646:17: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
   3646 |                 sprintf(child_sec_prefix, "%s%s.", sec_prefix, sec_leaf);
        |                 ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/abci/abcPrint.c:1216:83: warning: adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
   1216 |                     fprintf( pFile, " %s%c", *pCur == '0' ? "!" : "",  (char)('a' + pCur-pCube) );
        |                                                                               ~~~~^~~~~~
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/abci/abcOrchestration.c:5561:36: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
   5561 |     else if ((Valid_Ops->pArray[r] == 1)){
        |               ~~~~~~~~~~~~~~~~~~~~~^~~~
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/abci/abcOrchestration.c:5573:36: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
   5573 |     else if ((Valid_Ops->pArray[r] == 2)){
        |               ~~~~~~~~~~~~~~~~~~~~~^~~~
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/cmd/cmdStarter.c:86:20: warning: decrement of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
     86 |     nThreadsRunning--;
        |                    ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/cmd/cmdStarter.c:225:24: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
    225 |         nThreadsRunning++;
        |                        ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/wlc/wlcPth.c:75:9: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
     75 |         ++g_nRunIds;
        |         ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/wlc/wlcPth.c:112:9: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
    112 |         ++g_nRunIds;
        |         ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/base/wlc/wlcPth.c:129:17: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
    129 |                 ++g_nRunIds;
        |                 ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/tools/sn/src/snSlang.cpp:10045:17: warning: add explicit braces to avoid dangling else [-Wdangling-else]
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/misc/zlib/gzwrite.c:415:2: warning: "vsnprintf() not available -- gzprintf() stub returns Z_STREAM_ERROR" [-W#warnings]
    415 | #warning "vsnprintf() not available -- gzprintf() stub returns Z_STREAM_ERROR"
        |  ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/misc/zlib/gzwrite.c:416:2: warning: "you can recompile with ZLIB_INSECURE defined to use vsprintf()" [-W#warnings]
    416 | #warning "you can recompile with ZLIB_INSECURE defined to use vsprintf()"
        |  ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/opt/ufar/UfarPth.cpp:223:5: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
    223 |     ++g_nRunIds;
        |     ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/sat/cadical/cadical_arena.cpp:10:11: warning: first argument in call to 'memset' is a pointer to non-trivially copyable type 'abc::CaDiCaL::Arena' [-Wnontrivial-memcall]
     10 |   memset (this, 0, sizeof *this);
        |           ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/proof/abs/absPth.c:172:22: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
    172 |     pThData->RunId = ++g_nRunIds;
        |                      ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/proof/abs/absPth.c:183:14: warning: increment of object of volatile-qualified type 'volatile int' is deprecated [-Wdeprecated-volatile]
    183 |     g_nRunIds++;
        |              ^
  

• /nix/var/nix/builds/nix-52161-337823724/source/abc/src/aig/gia/giaRex.c:434:118: warning: implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
    434 |             if ( CountMin > Count || (CountMin != ABC_INFINITY && Count && ((float)CountMin / Count) > (float)rand()/RAND_MAX ) )
        |                                                                                                                     ~^~~~~~~~
  

• /nix/var/nix/builds/nix-52161-337823724/source/passes/cmds/portlist.cc:81:5: warning: misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
     81 |                                 log("endmodule\n");
        |                                 ^