Hi Everyone,<br>I wonder if it would be possible to have Clang Static Analyser check if function's preconditions are satisfied before the call. A precondition is an expression, and static analyser would have to check if the same (or similar) expression has been explicitly checked by the programmer or is guaranteed by other function's postcondition. An example of what I mean is provided in the following post from group <span><a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#%21forum/std-proposals">ISO C++ Standard - Future Proposals</a>:</span><br>
<a href="https://groups.google.com/a/isocpp.org/d/msg/std-proposals/hUeCh-QCj0Y/aqX9W4ngjq0J">https://groups.google.com/a/isocpp.org/d/msg/std-proposals/hUeCh-QCj0Y/aqX9W4ngjq0J</a><br><br>I am trying to determine if the addition of Contract Programming features to C++ is enough to enable such enhanced static analysis, or if it would be just a "dead" feature.<br>
<br>Regards,<br>&rzej<br>