diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-08 00:34:52 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-08 14:09:58 +0300 |
| commit | 4403372a6292fcfeff4d29383e0fc964abaeb592 (patch) | |
| tree | ce546f534f60e5c7d1c7dd975159484ba63a415f /src/analysis/collections.h | |
| parent | c493b9059f0289585c7aa7c2be71ec7fd5aa9116 (diff) | |
| download | paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.tar.gz paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.tar.bz2 paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.tar.xz paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.zip | |
Add WHILE_STMT node analysis.
This add basic support for while(exprt) {code}
Diffstat (limited to 'src/analysis/collections.h')
| -rw-r--r-- | src/analysis/collections.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/analysis/collections.h b/src/analysis/collections.h index 388a50f..8a50376 100644 --- a/src/analysis/collections.h +++ b/src/analysis/collections.h @@ -33,6 +33,9 @@ namespace Analysis void addNeedCheckNullVars(WalkItem &wi, WalkItem &wo); + void addNeedCheckNullVars2(WalkItem &wi, + WalkItem &wo); + void addUnknownVar(WalkItem &wi, const std::string &var); @@ -79,6 +82,8 @@ namespace Analysis std::set<std::string> &vars); void removeVar(WalkItem &wi, const std::string &var); + + void enforceNeedCheckNullVars(WalkItem &wi); } #endif // ANALYSIS_COLLECTIONS_H |