Hello.
I am developing a system that meets SIL2 by applying QKIT. And I am planning on performing the coverage check.
So, I plan to utilize the compiler option of the 'diagmostic' example.
compiler options are below.
"-v28 -ml -mt --cla_support=cla2 --float_support=fpu64 --idiv_support=idiv0 --tmu_support=tmu0 --vcu_support=vcrc -Ooff --abi=eabi"
I'm comparing the use case(compiler option) of the 'Validation Results.pdf' report include in Compiler Qualification Kit.
There is no perfect match, and thhe most similar case is below.

It isn't include some option.(eg. cla_support=cla2, idiv_support=idiv0, tmu_support=tmu0 )
There is no correct Optimization level setting in the case of these options.
'Optimization level' is most impact code generation.

So, I have some questions.
1. Shouldn't there be a case where all copiler options are included? or not?
1.1. If not, Can I verify the compiler by checking some cases?
2. 'cla_support=cla2' and 'tmu_support=tmu0' option dosen't have 'opt_level=off'. Is it indefendent?
3. The compiler option of the 'diagmostic' example is satisfied validation test?
Thanks.