From 82eaf9d63588d867c547b2186747df24baf25f27 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.oliveiramaroneze@cea.fr> Date: Thu, 19 Apr 2018 16:04:32 +0200 Subject: [PATCH] [typing] add location to warning message --- src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle | 5 +++-- src/plugins/e-acsl/tests/format/oracle/printf.res.oracle | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle b/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle index 30b229d4489..15637955c83 100644 --- a/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle +++ b/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle @@ -1,5 +1,6 @@ -[kernel] tests/bts/bts1307.i:14: Warning: - Floating-point constant 0.4 is not represented exactly. Will use 0x1.999999999999ap-2. See documentation for option -warn-decimal-float +[kernel:parser:decimal-float] tests/bts/bts1307.i:14: Warning: + Floating-point constant 0.4 is not represented exactly. Will use 0x1.999999999999ap-2. + (warn-once: no further messages from category 'parser:decimal-float' will be emitted) [e-acsl] beginning translation. [e-acsl] tests/bts/bts1307.i:23: Warning: approximating a real number by a float [e-acsl] tests/bts/bts1307.i:23: Warning: diff --git a/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle b/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle index 7db026ea864..798bc2afeac 100644 --- a/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle +++ b/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle @@ -1,5 +1,6 @@ -[kernel] tests/format/printf.c:88: Warning: - Floating-point constant 0.2 is not represented exactly. Will use 0x1.999999999999ap-3. See documentation for option -warn-decimal-float +[kernel:parser:decimal-float] tests/format/printf.c:88: Warning: + Floating-point constant 0.2 is not represented exactly. Will use 0x1.999999999999ap-3. + (warn-once: no further messages from category 'parser:decimal-float' will be emitted) [e-acsl] beginning translation. [e-acsl] Warning: annotating undefined function `abort': the generated program may miss memory instrumentation -- GitLab