Diagnostic 8142: The specification-part of a PURE procedure shall specify that all its dummy procedures are PURE.

Diagnostic 8142: The specification-part of a PURE procedure shall specify that all its dummy procedures are PURE.

Thank you for your interest in this diagnostic message. We are still in the process of documenting this specific diagnostic.

Please let us know of your experience with this diagnostic message by posting a comment below. Your interest in this diagnostic will help us prioritize the order we document diagnostics.

For more complete information about compiler optimizations, see our Optimization Notice.