-
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: lundi 06/05, lundi 03/06, lundi 01/07
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.