diff options
author | Lionel Landwerlin <[email protected]> | 2017-05-24 02:04:34 +0100 |
---|---|---|
committer | Lionel Landwerlin <[email protected]> | 2017-05-24 10:50:18 +0100 |
commit | 359fa0e9a0e3b904622e91d2ce93debefb943312 (patch) | |
tree | 2585fc21822b67123155b9292d43a44004830aa3 | |
parent | 8f1f1d294d47aa16ee4cc9e06a85900c951ac7a6 (diff) |
aubinator: report error on unknown device id
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 <[email protected]>
Reviewed-by: Iago Toral Quiroga <[email protected]>
-rw-r--r-- | src/intel/tools/aubinator_error_decode.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/intel/tools/aubinator_error_decode.c b/src/intel/tools/aubinator_error_decode.c index a41292238cb..636f56a3365 100644 --- a/src/intel/tools/aubinator_error_decode.c +++ b/src/intel/tools/aubinator_error_decode.c @@ -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); |