aubinator: report error on unknown device id
authorLionel Landwerlin <lionel.g.landwerlin@intel.com>
Wed, 24 May 2017 01:04:34 +0000 (02:04 +0100)
committerLionel Landwerlin <lionel.g.landwerlin@intel.com>
Wed, 24 May 2017 09:50:18 +0000 (10:50 +0100)
Since we're going to stop aubinator without a valid device id, better
report an error. This also silences a Coverity warning.

CID: 1405004
Signed-off-by: Lionel Landwerlin <lionel.g.landwerlin@intel.com>
Reviewed-by: Iago Toral Quiroga <itoral@igalia.com>
src/intel/tools/aubinator_error_decode.c

index a41292238cb7ef2731d8b5f78cb9abde10c2b50a..636f56a336508ec92b309a3b9c685c08ae0746ce 100644 (file)
@@ -635,7 +635,7 @@ read_data_file(FILE *file)
          if (matched == 1) {
             if (!gen_get_device_info(reg, &devinfo)) {
                printf("Unable to identify devid=%x\n", reg);
-               return;
+               exit(EXIT_FAILURE);
             }
 
             disasm = gen_disasm_create(reg);