Re: [PATCH] Add condition coverage profiling

[Sebastian Huber <sebastian.huber@embedded-brains.de>]

On 17/04/2022 13:27, Jørgen Kvalsvik wrote:
>> In theory, would it be possible to print the state of the truth table with the
>> information available in the gcda and gcno files? For example:
>>
>> Truth table for: a && (b || c)) && d
>>
>> 0 | 1 | 2 | 3 || covered
>> --+---+---+---++--------
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 0 | X | X | X || Y
>> 1 | 0 | 0 | X || N
>> 1 | 0 | 0 | X || N
>> 1 | 0 | 1 | 0 || N
>> 1 | 0 | 1 | 1 || N
>> 1 | 1 | X | 0 || Y
>> 1 | 1 | X | 0 || Y
>> 1 | 1 | X | 1 || Y
>> 1 | 1 | X | 1 || Y
> Maybe? We would at least need to store the masking tables too, which right now
> are implicitly stored as in the instrumentation. It's not too bad, but it
> probably means the two functions should return some richer structure, which in
> turn means a little bit of redesign. Computing the truth table itself shouldn't
> be difficult.

Using the tool in the context of safety-critical application would 
normally require also a tool qualification. For GCC, this is a bit 
unrealistic. It would help if the tool output can be verified. Being 
able to inspect the masking tables could help a reviewer to check what 
the tool did for a sample set of inputs.

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/