Verissimo SystemVerilog Testbench Linter User Guide
Rev. 19.1.12, 19 April 2019
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.