-
Andrei Paskevich authored
Forces aliasing between the arguments, external reads and the result (denoted "result"). Cannot be used for exceptional results. Currently, is only used for "any" and "val", and is silently ignored otherwise.
b8fb2e85
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Forces aliasing between the arguments, external reads and the result (denoted "result"). Cannot be used for exceptional results. Currently, is only used for "any" and "val", and is silently ignored otherwise.