For safety and consistency across other optimizer implementations, an iteration limit should be specified, or be configurable. This ensures the optimization work would eventually terminate in case pathologically large ASTs are supplied or there is a bug with the optimizer implementation.
For safety and consistency across other optimizer implementations, an iteration limit should be specified, or be configurable. This ensures the optimization work would eventually terminate in case pathologically large ASTs are supplied or there is a bug with the optimizer implementation.