| commit | 2b1696ecbe34d00de0b8291d7a12eb8db7fb316f | |
| author | Douglas Katzman <dougk@google.com> | |
| Mon, 9 Nov 2015 05:47:14 +0000 (9 00:47 -0500) | ||
| committer | Douglas Katzman <dougk@google.com> | |
| Mon, 9 Nov 2015 05:55:39 +0000 (9 00:55 -0500) | ||
| tree | b80376716df409aef3ccfc79aa3bf1eaebbfa5c2 | treesnapshot (tar.gz zip) |
| parent | 9bb31a5620372c33b0e1a1aa96ac7a5376f34b5d | commitdiff |
Part 1 of 2-part fix for lp#309102 "Explicit-check defknowns"
This change adds a local declaration for EXPLICIT-CHECK,
which for the moment is redundant with the globaldb attribute.
(As a sanity check, both must be present or not present.)
Globaldb was ill-suited to represent this aspect of a function.
Explicit-check pertains how the function's body is expressed,
and not the "contract" of the function. If the function was stated
to explicitly check argument/result types, but it wasn't written
that way, it's a problem. A local declaration does not prevent
this from happening, but lessens the chance of it.
This change adds a local declaration for EXPLICIT-CHECK,
which for the moment is redundant with the globaldb attribute.
(As a sanity check, both must be present or not present.)
Globaldb was ill-suited to represent this aspect of a function.
Explicit-check pertains how the function's body is expressed,
and not the "contract" of the function. If the function was stated
to explicitly check argument/result types, but it wasn't written
that way, it's a problem. A local declaration does not prevent
this from happening, but lessens the chance of it.
36 files changed: