Re: Existe-t-il des compilateurs C/C++ qui donnent une sémantique à tous les programmes ?

Retourner au contenu associé (journal : Compilateur trop intelligent)

[^] # Re: Existe-t-il des compilateurs C/C++ qui donnent une sémantique à tous les programmes ?

Posté par Shuba le 03 novembre 2017 à 09:50. En réponse au journal Compilateur trop intelligent. Évalué à 2.

Par contre, les bounds-check risquent de compliquer l'analyse du programme et de gêner significativement d'autres optimisations.

Tout à fait, en particulier si les bounds-check ne sont pas pas prouvés redondants ça empêche le compilateur de produire du code vectorisé.