https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88330
--- Comment #1 from emsr at gcc dot gnu.org --- I saw this through reddit: https://gitlab.com/lock3/gcc-new.git branch origin/contracts-jac-kona This user has several interesting branches of contracts and concepts! Wiki: http://gummif.github.io/blog/contract_code_gen.html This Wiki is a 3rd party one. This is the wiki connected to the repo: https://gitlab.com/lock3/gcc-new/wikis/contract-assertions
