[PATCH] D14203: [analyzer] Improve pointer arithmetic checker.
Devin Coughlin via cfe-commits
cfe-commits at lists.llvm.org
Mon Feb 22 09:30:51 PST 2016
dcoughlin accepted this revision.
dcoughlin added a comment.
This revision is now accepted and ready to land.
Other than a suggested diagnostic rewording to consider, looks good to me. Thanks Gábor!
Comment at: lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp:198
@@ +197,3 @@
+ new BuiltinBug(this, "Dangerous pointer arithmetic",
+ "Pointer arithmetic done on non-array variables means "
+ "reliance on memory layout, which is dangerous."));
Here is a suggestion to reword: "Pointer arithmetic on non-array variables relies on memory layout, which is dangerous."
More information about the cfe-commits