From 359fa0e9a0e3b904622e91d2ce93debefb943312 Mon Sep 17 00:00:00 2001 From: Lionel Landwerlin Date: Wed, 24 May 2017 02:04:34 +0100 Subject: [PATCH] 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 Reviewed-by: Iago Toral Quiroga --- src/intel/tools/aubinator_error_decode.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/intel/tools/aubinator_error_decode.c b/src/intel/tools/aubinator_error_decode.c index a412922..636f56a 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); -- 2.7.4