lto-dump

g++

# Compile un fichier source C++ avec l'option de modules paresseux (lazy-modules)
echo "Compilation avec lazy-modules..." && g++ -std=c++17 --param=lazy-modules= main.cpp

# Active le placement 'new' pour une meilleure gestion mémoire en C++
echo "Activation du placement new..." && g++ -Wplacement-new main.cpp

# Définit le niveau de placement new (ici, on utilise la valeur 2)
echo "Placement new au niveau 2..." && g++ -Wplacement-new=2 main.cpp

# Active le mode d'hypothèse contractuelle (assumption mode)
echo "Activation du mode assumption contractuel..." && g++ -fcontract-assumption-mode=on main.cpp

# Définit le niveau de construction des contrats (build level)
echo "Définition du build level contractuel..." && g++ -fcontract-build-level=audit main.cpp

# Active/désactive la continuation dans les contrats
echo "Contrôle de la continuation contractuelle..." && g++ -fcontract-continuation-mode=on main.cpp

# Active le mode général des contrats
echo "Activation du mode contratuel global..." && g++ -fcontract-mode=on main.cpp

# Spécifie un rôle et une sémantique pour les contrats (ex: 'User':'strict')
echo "Définition d'un rôle contractuel spécifique..." && g++ -fcontract-role=MonRole:Strict main.cpp

# Définit la sémantique des contrats (ex: niveau 2, sémantique 'safe')
echo "Définition de la sémantique contractuelle..." && g++ -fcontract-semantic=2:safe main.cpp

# Active les déclarations strictes pour les contrats
echo "Activation des déclarations strictes de contrat..." && g++ -fcontract-strict-declarations=on main.cpp

# Compile un fichier C simple avec l'option 'gimple' (pour la simplification)
echo "Compilation en mode simple C..." && gcc -fgimple source.c

# Inclut les informations de langage pour le développement et le débogage
echo "Traitement des infos langages incluses..." && g++ -flang-info-include-translate main.cpp