This revision was automatically updated to reflect the committed changes.
Closed by commit rL284445: [analyzer] Update alpha and potential checker
documentation, esp. alpha.valist (authored by ddcc).
Changed prior to commit:
https://reviews.llvm.org/D25663?vs=74807=74941#toc
Repository:
rL LLVM
https://reviews.llvm.org/D25663
Files:
cfe/trunk/www/analyzer/alpha_checks.html
cfe/trunk/www/analyzer/potential_checkers.html
Index: cfe/trunk/www/analyzer/potential_checkers.html
===
--- cfe/trunk/www/analyzer/potential_checkers.html
+++ cfe/trunk/www/analyzer/potential_checkers.html
@@ -180,64 +180,6 @@
-
-va_list
-
-
-Name, DescriptionExampleProgress
-
-
-valist.Uninitialized
-(C)
-Calls to the va_arg, va_copy, or
-va_end macro must happen after calling va_start and
-before calling va_end.
-
-
-#include stdarg.h
-
-void test(int x, ...) {
- va_list args;
- int y = va_arg(args, int); // warn
-}
-
-
-#include stdarg.h
-
-void test(int x, ...) {
- va_list args;
- va_start(args, x);
- va_end(args);
- int z = va_arg(args, int); // warn
-}
-
-http://llvm.org/bugs/show_bug.cgi?id=16812;>
-PR16811
-
-
-valist.Unterminated
-(C)
-Every va_start must be matched by a va_end. A va_list
-can only be ended once.
-
-This should be folded into the generalized "ownership checker"
-described on the
-Open Projects page.
-
-
-#include stdarg.h
-
-void test(int x, ...) {
- va_list args;
- va_start(args, x);
- int y = x + va_arg(args, int);
-} // warn: missing va_end
-
-http://llvm.org/bugs/show_bug.cgi?id=16812;>
-PR16812
-
-
-
exceptions
@@ -384,7 +326,8 @@
// warn: the right operand to '-' is always 0
}
-removed from alpha.deadcode.* at r198476
+removed from alpha.deadcode.* at
+https://reviews.llvm.org/rL198476;>r198476
Index: cfe/trunk/www/analyzer/alpha_checks.html
===
--- cfe/trunk/www/analyzer/alpha_checks.html
+++ cfe/trunk/www/analyzer/alpha_checks.html
@@ -26,13 +26,14 @@
Core Alpha Checkers
C++ Alpha Checkers
+Variable Argument Alpha Checkers
Dead Code Alpha Checkers
OS X Alpha Checkers
Security Alpha Checkers
Unix Alpha Checkers
-
+
Core Alpha Checkers
@@ -179,7 +180,7 @@
-
+
C++ Alpha Checkers
@@ -226,7 +227,76 @@
-
+
+
+
+Variable Argument Alpha Checkers
+
+
+Name, DescriptionExample
+
+
+
+alpha.valist.CopyToSelf
+(C)
+Calls to the va_copy macro should not copy onto itself.
+
+
+#include stdarg.h
+
+void test(int x, ...) {
+ va_list args;
+ va_start(args, x);
+ va_copy(args, args); // warn
+ va_end(args);
+}
+
+
+
+alpha.valist.Uninitialized
+(C)
+Calls to the va_arg, va_copy, or
+va_end macro must happen after calling va_start and
+before calling va_end.
+
+
+#include stdarg.h
+
+void test(int x, ...) {
+ va_list args;
+ int y = va_arg(args, int); // warn
+}
+
+
+#include stdarg.h
+
+void test(int x, ...) {
+ va_list args;
+ va_start(args, x);
+ va_end(args);
+ int z = va_arg(args, int); // warn
+}
+
+
+
+alpha.valist.Unterminated
+(C)
+Every va_start must be matched by a va_end. A va_list
+can only be ended once.
+
+
+#include stdarg.h
+
+void test(int x, ...) {
+ va_list args;
+ va_start(args, x);
+ int y = x + va_arg(args, int);
+} // warn: missing va_end
+
+
+
+
+
Dead Code Alpha Checkers
@@ -267,7 +337,7 @@
-
+
OS X Alpha Checkers
@@ -433,7 +503,7 @@
-
+
Security Alpha Checkers
@@ -584,7 +654,7 @@
-
+
Unix Alpha Checkers
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits