Verissimo SystemVerilog Testbench Linter User Guide
Rev. 23.1.8, 29 March 2023
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.