Verissimo SystemVerilog Testbench Linter User Guide
Rev. 21.1.2, 18 January 2021
The +dvt_init+gcc directive resets the builder to the gcc default state.
File Extension to Language Syntax Mapping
Language Syntax for Unmapped Extensions: Skip unmapped extensions.
When you compile C/C++ code using gcc rather than the simulator, for each gcc invocation it is recommended to use a +dvt_init+gcc directive followed by the gcc command line arguments.