Age | Commit message (Collapse) | Author | Files | Lines |
|
This allow detect issue like this:
if (!ptr)
return;
while (ptr->num)
{
...
ptr = someothervalue;
}
|
|
this block.
|
|
This add basic support for while(exprt) {code}
|
|
|
|
function return pointer.
Update METHOD_TYPE for always parse function return type.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Still broken linked vars and using just checked pointer in expression.
|
|
|
|
|
|
checkedThenNonNullVars.
|
|
|
|
|
|
|
|
For now it can be call to function or some complicated expression.
|
|
|
|
|
|
|
|
branches.
|
|
|
|
|
|
|
|
|
|
|
|
cases.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This allow do in code like this:
var1 = param1;
var2 = var1;
if (var2)
{
// do some work with param1 or var1 or var2
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|