Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
Still broken linked vars and using just checked pointer in expression.
|
|
|
|
checkedThenNonNullVars.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Add reverse linked vars map.
|
|
|
|
Example:
void func(int *ptr1)
{
int *ptr2 = ptr1;
if (!ptr1)
return;
*ptr2 = 10;
}
here will be no warning.
|
|
Now var can be checked for nulls too.
Also extend debug logging.
|
|
|
|
|
|
|
|
|
|
|
|
usage.
|
|
|
|
|
|
|
|
|
|
|
|
nonnull attribute
|
|
Because this methods must works only for dumping modes.
|
|
|
|
|
|
|
|
|
|
Also fix negative numbers in INTEGER_CST node.
|
|
|
|
|
|
|
|
Change default indent step from 2 to 1 space.
|
|
|
|
|