diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-06-24 19:17:54 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-06-24 19:17:54 +0000 |
| commit | ffd586aa64a8c98361e325cee892a6d5d56ca055 (patch) | |
| tree | bf2649b8c08c56c931671a4c3362f3cb8d6d8312 | |
| parent | 6e7d59f0c66b6e2ab07c14f3a9389bdc7f3a6f7b (diff) | |
| download | bcm5719-llvm-ffd586aa64a8c98361e325cee892a6d5d56ca055.tar.gz bcm5719-llvm-ffd586aa64a8c98361e325cee892a6d5d56ca055.zip | |
Add scan-build screenshot for attribute 'nonnull' example.
llvm-svn: 74104
| -rw-r--r-- | clang/www/analyzer/annotations.html | 11 | ||||
| -rw-r--r-- | clang/www/analyzer/images/example_attribute_nonnull.png | bin | 0 -> 25028 bytes |
2 files changed, 5 insertions, 6 deletions
diff --git a/clang/www/analyzer/annotations.html b/clang/www/analyzer/annotations.html index 7d509ed5dbb..22c21289000 100644 --- a/clang/www/analyzer/annotations.html +++ b/clang/www/analyzer/annotations.html @@ -90,14 +90,13 @@ int foo(int *p, int *q) { return !p ? bar(q, 2, p) : bar(p, 2, q); } - -<span class="command">$ clang --analyze test.m</span> -test.m:4:16: warning: Null pointer passed as an argument to a 'nonnull' parameter - return !p ? bar(q, 2, p) - ^ ~ -1 diagnostic generated. </pre> +<p>Running <tt>scan-build</tt> over this source produces the following +output:</p> + +<img src="images/example_cf_returns_retained_gc.png"> + <!-- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --> <h2 id="macosx">Mac OS X API Annotations</h2> <!-- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --> diff --git a/clang/www/analyzer/images/example_attribute_nonnull.png b/clang/www/analyzer/images/example_attribute_nonnull.png Binary files differnew file mode 100644 index 00000000000..919af617429 --- /dev/null +++ b/clang/www/analyzer/images/example_attribute_nonnull.png |

