Skip to content

Make exhaustive use of C++11 override keyword (NFC)

Stefan Gränitz requested to merge weliveindetail/frama-clang:clang-tidy-modernize-use-override into master

It is common practice to mark methods with the override keyword if they override a base class method. Being pedantic about it can greatly improve the traceability of a code base for the human reader.

Applied clang-tidy modernize-use-override globally in order to achieve compliance in current code base. Added warning suggest-override for CMake target framaCIRGen in order to detect future breaches.

Merge request reports