Snippets for adolc 2.7.2 from Nix aarch64-darwin

Sourced from https://hydra.nixos.org/log/b8wb3fprgb67zv5854q9iqq04k830vgr-adolc-2.7.2.drv.

• psdrivers.c:56:72: warning: format specifies type 'size_t' (aka 'unsigned long') but the argument has type 'int' [-Wformat]
     56 |               "match the one recorded on tape %d (%zu)\n", swchk, tag, s);
        |                                                   ~~~                  ^
        |                                                   %d
  

• psdrivers.c:148:18: warning: using floating point absolute value function 'fabs' when argument is of integer type [-Wabsolute-value]
    148 |           sum += fabs(sigma_g[i]);
        |                  ^
  

• tape_handling.cpp:1808:33: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
   1805 |             fprintf(DIAG_OUT,"ADOL-C-warning: called %s after allocating %d active variables\n"
        |                                                                          ~~
        |                                                                          %zu
   1806 |                     "***  WILL NOT CHANGE ***\nto change type deallocate all active variables\n"
   1807 |                     "continuing ...\n"
   1808 |                     , __func__, ADOLC_GLOBAL_TAPE_VARS.numLives);
        |                                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  

• ./uni5_for.c:6373:36: warning: passing 'locint *' (aka 'unsigned int *') to parameter of type 'int *' converts between pointers to integer types with different sign [-Wpointer-sign]
   6373 |                 ext_retc = edfct2->ADOLC_EXT_FCT_V2_COMPLETE;
        |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~
  

• ./fo_rev.c:3127:36: warning: passing 'locint *' (aka 'unsigned int *') to parameter of type 'int *' converts between pointers to integer types with different sign [-Wpointer-sign]
   3127 |                 ext_retc = edfct2->ADOLC_EXT_FCT_V2_COMPLETE;
        |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~