Restrict: differenze tra le versioni

Versione delle 20:00, 14 ott 2018

Versione delle 20:04, 14 ott 2018

Riga 32:

</source>

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 l'aggiornamentooperazioni dieseguite tramite un puntatore non avràavranno effetto sugli oggetti riferiti da altri puntatori (è comunque responsablità 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

<source lang="nasm">