It’s a good opportunity to point that Ada defines “bounded errors” and “erroneous execution” as distinct things. TLDR: reading uninitialized data in Ada is safer than in C. Reading an uninitialized OUT argument is a…
It’s a good opportunity to point that Ada defines “bounded errors” and “erroneous execution” as distinct things. TLDR: reading uninitialized data in Ada is safer than in C. Reading an uninitialized OUT argument is a…