| commit | 913ae6015f74062d8b2542be893264ab92772f0b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 23 Apr 2016 08:08:01 +0000 (23 10:08 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 23 Apr 2016 08:34:02 +0000 (23 10:34 +0200) | ||
| tree | 48fddceb4381ef9d835f62bf037aefd220870f65 | treesnapshot (tar.gz zip) |
| parent | 61566c64326380d4265a71fc70d1b49dfbab6533 | commitdiff |
PetScan::extract_expr: extract out is_assume
This makes it easier to support __builtin_assume in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This makes it easier to support __builtin_assume in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory |