http://llvm.org/bugs/show_bug.cgi?id=16890
Bug ID: 16890
Summary: Add a checker to detected unmodified variables
Product: clang
Version: unspecified
Hardware: Macintosh
OS: MacOS X
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
I think if it would be nice if the following reported some kind of error:
int foo()
{
int i = 0;
return i;
}
where a variable is never modified (to me, this indicates that some code that
modified the variable is missing). If the variable is really not supposed to
change, the user can declare it as "const" (or use a #define).
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
