Restrict: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
ValterVBot (discussione | contributi)
m Ottimizzazione: tag source deprecati, replaced: <source lang= → <syntaxhighlight lang= (4), </source> → </syntaxhighlight> (4)
Riga 32:
</syntaxhighlight>
 
il compilatore può legittimamente assumere che <code>ptrA</code>, <code>ptrB</code>, e <code>val</code> accederanno sempre a regioni di memoria non sovrapposte e operazioni eseguite tramite un puntatore non avranno effetto sugli oggetti riferiti da altri puntatori (è comunque responsablitàresponsabilità del programmatore di garantire questo fatto nella scrittura del codice). Questo rende superfluo leggere nuovamente il valore puntato da <code>val</code> dopo aver eseguito la prima istruzione, e l'assembly diventa
 
<syntaxhighlight lang="nasm">