All instances of coWR in sndfile-tools

CycleObjectsSource locationsSource events
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:237 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:237 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri Rfiringbufsrc/sndfile-jackplay.c:222 src/sndfile-jackplay.c:223R:ringbuf (src/sndfile-jackplay.c:223 function main thread 0) W:ringbuf (src/sndfile-jackplay.c:222 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:237 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Fri PosWRoutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257R:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri Rfiringbufsrc/sndfile-jackplay.c:222 src/sndfile-jackplay.c:223R:ringbuf (src/sndfile-jackplay.c:223 function main thread 0) W:ringbuf (src/sndfile-jackplay.c:222 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:218W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:218 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:237 src/sndfile-jackplay.c:212W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:237 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Frioutput_portsrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:output_port (src/sndfile-jackplay.c:212 function main thread 0) R:output_port (src/sndfile-jackplay.c:257 function main thread 0)
Fri Rfiringbufsrc/sndfile-jackplay.c:222 src/sndfile-jackplay.c:223R:ringbuf (src/sndfile-jackplay.c:223 function main thread 0) W:ringbuf (src/sndfile-jackplay.c:222 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
Rfi Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:256W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
Rfi Fri__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:213 src/sndfile-jackplay.c:257W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:257 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
PosWR Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
Rfi Frioutssrc/sndfile-jackplay.c:256 src/sndfile-jackplay.c:213W:outs (src/sndfile-jackplay.c:213 function main thread 0) R:outs (src/sndfile-jackplay.c:256 function main thread 0)
Rfi Friringbufsrc/sndfile-jackplay.c:223 src/sndfile-jackplay.c:222W:ringbuf (src/sndfile-jackplay.c:222 function main thread 0) R:ringbuf (src/sndfile-jackplay.c:223 function main thread 0)
This document was translated from LATEX by HEVEA.