'#[Pure]' attribute can be added

Last modified: 03 December 2024

Reports the functions that are non-trivially pure. Such functions have other functions calls in their body, but all such calls do not produce any side effects.