diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-06-22 15:04:40 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-06-22 15:11:22 +0300 |
| commit | 2203a00e3e96fa24d591150e7d85619cdc0c716e (patch) | |
| tree | d73273cc524fcfd5e8eb6b560bf34270d81e7519 /src/analysis/analysis.h | |
| parent | 3bcbcff28b8803185d17b1d429657848adb8118a (diff) | |
| download | paranucker-2203a00e3e96fa24d591150e7d85619cdc0c716e.tar.gz paranucker-2203a00e3e96fa24d591150e7d85619cdc0c716e.tar.bz2 paranucker-2203a00e3e96fa24d591150e7d85619cdc0c716e.tar.xz paranucker-2203a00e3e96fa24d591150e7d85619cdc0c716e.zip | |
Add analysis for code like "type *var = parm"
Now var can be checked for nulls too.
Also extend debug logging.
Diffstat (limited to 'src/analysis/analysis.h')
| -rw-r--r-- | src/analysis/analysis.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/analysis/analysis.h b/src/analysis/analysis.h index 4d921cb..fe4bf67 100644 --- a/src/analysis/analysis.h +++ b/src/analysis/analysis.h @@ -42,6 +42,9 @@ namespace Analysis Node *node, const WalkItem &wi); + bool checkForReport(Node *node, + const WalkItem &wi); + void removeCheckNullVars(WalkItem &wi); void removeCheckNullVarsSet(WalkItem &wi, |