Attachment 86 Details for Bug 423 – latest static analyzer output

latest static analyzer output

analyzer.txt (text/plain), 9.22 KB, created by Bert Vermeulen on 2014-10-02 15:11:33 CEST

(hide)

Description:

Filename:

MIME Type:

Creator: Bert Vermeulen

Created: 2014-10-02 15:11:33 CEST

Size: 9.22 KB

patch

obsolete

>scan-build: Using '/usr/bin/clang' for static analysis
>make  all-am
>  CC       src/backend.lo
>  CC       src/device.lo
>  CC       src/session.lo
>  CC       src/session_file.lo
>  CC       src/session_driver.lo
>  CC       src/drivers.lo
>  CC       src/hwdriver.lo
>  CC       src/trigger.lo
>  CC       src/soft-trigger.lo
>  CC       src/strutil.lo
>  CC       src/log.lo
>  CC       src/version.lo
>  CC       src/error.lo
>  CC       src/std.lo
>  CC       src/input/input.lo
>  CC       src/input/binary.lo
>  CC       src/input/chronovu_la8.lo
>  CC       src/input/csv.lo
>  CC       src/input/vcd.lo
>  CC       src/input/wav.lo
>  CC       src/output/output.lo
>src/input/input.c:294:15: warning: Branch condition evaluates to a garbage value
>                for (a = 0; avail[a]; a++) {
>                            ^~~~~~~~
>1 warning generated.
>  CC       src/output/analog.lo
>  CC       src/output/ascii.lo
>  CC       src/output/bits.lo
>  CC       src/output/binary.lo
>  CC       src/output/csv.lo
>  CC       src/output/chronovu_la8.lo
>  CC       src/output/wav.lo
>  CC       src/output/gnuplot.lo
>  CC       src/output/hex.lo
>  CC       src/output/ols.lo
>  CC       src/output/vcd.lo
>  CC       src/scpi/scpi.lo
>  CC       src/scpi/scpi_tcp.lo
>  CC       src/scpi/scpi_vxi.lo
>  CC       src/scpi/vxi_clnt.lo
>  CC       src/scpi/vxi_xdr.lo
>  CC       src/serial.lo
>  CC       src/scpi/scpi_serial.lo
>  CC       src/ezusb.lo
>  CC       src/usb.lo
>src/scpi/scpi.c:563:7: warning: Branch condition evaluates to a garbage value
>                if (opc)
>                    ^~~
>1 warning generated.
>  CC       src/scpi/scpi_usbtmc_libusb.lo
>  CC       src/scpi/scpi_visa.lo
>  CC       src/scpi/scpi_libgpib.lo
>  CC       src/dmm/es519xx.lo
>  CC       src/dmm/fs9721.lo
>  CC       src/dmm/fs9922.lo
>  CC       src/dmm/m2110.lo
>  CC       src/dmm/metex14.lo
>  CC       src/dmm/rs9lcd.lo
>  CC       src/dmm/bm25x.lo
>  CC       src/hardware/agilent-dmm/api.lo
>  CC       src/hardware/agilent-dmm/sched.lo
>  CC       src/hardware/appa-55ii/protocol.lo
>  CC       src/hardware/appa-55ii/api.lo
>  CC       src/hardware/asix-sigma/asix-sigma.lo
>  CC       src/hardware/atten-pps3xxx/protocol.lo
>  CC       src/hardware/atten-pps3xxx/api.lo
>  CC       src/hardware/beaglelogic/protocol.lo
>  CC       src/hardware/beaglelogic/api.lo
>  CC       src/hardware/brymen-bm86x/protocol.lo
>  CC       src/hardware/brymen-bm86x/api.lo
>  CC       src/hardware/brymen-dmm/parser.lo
>  CC       src/hardware/brymen-dmm/protocol.lo
>  CC       src/hardware/brymen-dmm/api.lo
>src/hardware/asix-sigma/asix-sigma.c:142:40: warning: The left operand of '&' is a garbage value
>                buf[idx++] = REG_DATA_LOW | (data[i] & 0xf);
>                                             ~~~~~~~ ^
>1 warning generated.
>  CC       src/hardware/cem-dt-885x/protocol.lo
>  CC       src/hardware/cem-dt-885x/api.lo
>  CC       src/hardware/center-3xx/protocol.lo
>  CC       src/hardware/center-3xx/api.lo
>  CC       src/hardware/chronovu-la/protocol.lo
>  CC       src/hardware/chronovu-la/api.lo
>  CC       src/hardware/colead-slm/protocol.lo
>  CC       src/hardware/colead-slm/api.lo
>  CC       src/hardware/conrad-digi-35-cpu/protocol.lo
>  CC       src/hardware/conrad-digi-35-cpu/api.lo
>src/hardware/conrad-digi-35-cpu/api.c:134:2: warning: Value stored to 'ret' is never read
>        ret = SR_OK;
>        ^     ~~~~~
>1 warning generated.
>  CC       src/hardware/demo/demo.lo
>  CC       src/hardware/fluke-dmm/fluke.lo
>  CC       src/hardware/fluke-dmm/api.lo
>  CC       src/hardware/fx2lafw/protocol.lo
>  CC       src/hardware/fx2lafw/api.lo
>  CC       src/hardware/gmc-mh-1x-2x/protocol.lo
>  CC       src/hardware/gmc-mh-1x-2x/api.lo
>  CC       src/hardware/hameg-hmo/protocol.lo
>  CC       src/hardware/hameg-hmo/api.lo
>  CC       src/hardware/hantek-dso/dso.lo
>  CC       src/hardware/hantek-dso/api.lo
>  CC       src/hardware/ikalogic-scanalogic2/protocol.lo
>  CC       src/hardware/ikalogic-scanalogic2/api.lo
>  CC       src/hardware/ikalogic-scanaplus/protocol.lo
>  CC       src/hardware/ikalogic-scanaplus/api.lo
>  CC       src/hardware/kecheng-kc-330b/protocol.lo
>  CC       src/hardware/kecheng-kc-330b/api.lo
>  CC       src/hardware/lascar-el-usb/protocol.lo
>  CC       src/hardware/lascar-el-usb/api.lo
>src/hardware/ikalogic-scanalogic2/api.c:355:2: warning: Value stored to 'ret' is never read
>        ret = SR_OK;
>        ^     ~~~~~
>1 warning generated.
>  CC       src/hardware/manson-hcs-3xxx/protocol.lo
>  CC       src/hardware/manson-hcs-3xxx/api.lo
>  CC       src/hardware/mic-985xx/protocol.lo
>  CC       src/hardware/mic-985xx/api.lo
>  CC       src/hardware/motech-lps-30x/protocol.lo
>  CC       src/hardware/motech-lps-30x/api.lo
>  CC       src/hardware/norma-dmm/protocol.lo
>  CC       src/hardware/norma-dmm/api.lo
>  CC       src/hardware/openbench-logic-sniffer/protocol.lo
>  CC       src/hardware/openbench-logic-sniffer/api.lo
>  CC       src/hardware/pipistrello-ols/protocol.lo
>src/hardware/motech-lps-30x/protocol.c:100:48: warning: Assigned value is garbage or undefined
>                        devc->channel_status[0].output_voltage_last = dbl;
>                                                                    ^ ~~~
>src/hardware/motech-lps-30x/protocol.c:103:48: warning: Assigned value is garbage or undefined
>                        devc->channel_status[0].output_current_last = dbl;
>                                                                    ^ ~~~
>src/hardware/motech-lps-30x/protocol.c:106:48: warning: Assigned value is garbage or undefined
>                        devc->channel_status[1].output_voltage_last = dbl;
>                                                                    ^ ~~~
>src/hardware/motech-lps-30x/protocol.c:109:48: warning: Assigned value is garbage or undefined
>                        devc->channel_status[1].output_current_last = dbl;
>                                                                    ^ ~~~
>src/hardware/motech-lps-30x/protocol.c:112:8: warning: Function call argument is an uninitialized value
>                        if (lps_process_status(sdi, auxint) == SR_OK) {
>                            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>5 warnings generated.
>src/hardware/openbench-logic-sniffer/api.c:176:3: warning: Value stored to 'devc' is never read
>                devc = sdi->priv;
>                ^      ~~~~~~~~~
>1 warning generated.
>  CC       src/hardware/pipistrello-ols/api.lo
>src/hardware/norma-dmm/api.c:334:4: warning: Access to field 'conn' results in a dereference of a null pointer (loaded from variable 'sdi')
>                        sdi->conn, LOG_PREFIX);
>                        ^~~~~~~~~
>1 warning generated.
>src/hardware/motech-lps-30x/api.c:840:4: warning: Access to field 'conn' results in a dereference of a null pointer (loaded from variable 'sdi')
>                        sdi->conn, LOG_PREFIX);
>                        ^~~~~~~~~
>1 warning generated.
>  CC       src/hardware/rigol-ds/protocol.lo
>  CC       src/hardware/rigol-ds/api.lo
>  CC       src/hardware/saleae-logic16/protocol.lo
>  CC       src/hardware/saleae-logic16/api.lo
>  CC       src/hardware/scpi-pps/protocol.lo
>  CC       src/hardware/scpi-pps/profiles.lo
>  CC       src/hardware/scpi-pps/api.lo
>  CC       src/hardware/serial-dmm/protocol.lo
>  CC       src/hardware/serial-dmm/api.lo
>  CC       src/hardware/sysclk-lwla/lwla.lo
>  CC       src/hardware/sysclk-lwla/protocol.lo
>  CC       src/hardware/sysclk-lwla/api.lo
>  CC       src/hardware/teleinfo/protocol.lo
>  CC       src/hardware/teleinfo/api.lo
>src/hardware/rigol-ds/api.c:771:3: warning: Value stored to 'devc' is never read
>                devc = sdi->priv;
>                ^      ~~~~~~~~~
>1 warning generated.
>src/hardware/scpi-pps/api.c:230:8: warning: Access to field 'channels' results in a dereference of a null pointer (loaded from variable 'cg')
>                ch = cg->channels->data;
>                     ^~~~~~~~~~~~
>src/hardware/scpi-pps/api.c:331:2: warning: Value stored to 'ret' is never read
>        ret = SR_OK;
>        ^     ~~~~~
>2 warnings generated.
>  CC       src/hardware/testo/protocol.lo
>  CC       src/hardware/testo/api.lo
>  CC       src/hardware/tondaj-sl-814/protocol.lo
>  CC       src/hardware/tondaj-sl-814/api.lo
>  CC       src/hardware/uni-t-dmm/protocol.lo
>  CC       src/hardware/uni-t-dmm/api.lo
>  CC       src/hardware/uni-t-ut32x/protocol.lo
>  CC       src/hardware/uni-t-ut32x/api.lo
>  CC       src/hardware/victor-dmm/protocol.lo
>  CC       src/hardware/victor-dmm/api.lo
>  CC       src/hardware/yokogawa-dlm/protocol.lo
>  CC       src/hardware/yokogawa-dlm/protocol_wrappers.lo
>  CC       src/hardware/yokogawa-dlm/api.lo
>  CC       src/hardware/zeroplus-logic-cube/analyzer.lo
>  CC       src/hardware/zeroplus-logic-cube/gl_usb.lo
>src/hardware/yokogawa-dlm/api.c:207:2: warning: Value stored to 'ret' is never read
>        ret = SR_ERR_NA;
>        ^     ~~~~~~~~~
>1 warning generated.
>  CC       src/hardware/zeroplus-logic-cube/protocol.lo
>  CC       src/hardware/zeroplus-logic-cube/api.lo
>src/hardware/zeroplus-logic-cube/protocol.c:28:22: warning: The result of the '<<' expression is undefined
>                return (32 * 1024) << type;
>                       ~~~~~~~~~~~~^~~~~~~
>1 warning generated.
>  CCLD     libsigrok.la
>copying selected object files to avoid basename conflicts...
>scan-build: 18 bugs found.
>scan-build: Run 'scan-view /tmp/scan-build-2014-10-02-150808-23127-1' to examine bug reports.

Actions: View

Attachments on bug 423: 85 | 86