Snippets for picat 3.9.12 from Alpine riscv64

Sourced from https://build.alpinelinux.org/buildlogs/build-edge-riscv64/community/picat/picat-3.9.12-r0.log.

• espresso/cvrin.c:55:9: warning: case label value is less than minimum value for type [-Wswitch-outside-range]
     55 |         case EOF:
        |         ^~~~
  

• espresso/cvrin.c:93:9: warning: case label value is less than minimum value for type [-Wswitch-outside-range]
     93 |         case EOF:
        |         ^~~~
  

• fann/fann_interface.cpp:129:1: warning: control reaches end of non-void function [-Wreturn-type]
    129 | }
        | ^
  

• fann/fann_interface.cpp:1083:9: warning: control reaches end of non-void function [-Wreturn-type]
   1083 |         }
        |         ^
  

• fann/fann_interface.cpp:1222:9: warning: control reaches end of non-void function [-Wreturn-type]
   1222 |         }
        |         ^
  

• fann/fann_interface.cpp:1381:9: warning: control reaches end of non-void function [-Wreturn-type]
   1381 |         }
        |         ^
  

• fann/fann_interface.cpp:1413:9: warning: control reaches end of non-void function [-Wreturn-type]
   1413 |         }
        |         ^
  

• kissat/src/main.c:31:1: warning: 'kissat_alarm_handler' defined but not used [-Wunused-function]
     31 | kissat_alarm_handler (void)
        | ^~~~~~~~~~~~~~~~~~~~
  

• kissat/src/main.c:15:1: warning: 'kissat_signal_handler' defined but not used [-Wunused-function]
     15 | kissat_signal_handler (int sig)
        | ^~~~~~~~~~~~~~~~~~~~~
  

• kissat/src/substitute.c:569:30: warning: array subscript 3 is above array bounds of 'unsigned int[3]' [-Warray-bounds=]
    569 |                       c->lits[old_size - 1] = INVALID_LIT;
        |                       ~~~~~~~^~~~~~~~~~~~~~