| commit | 76ad20618594892dbc686238a90afee637d70287 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 23 Apr 2016 08:11:34 +0000 (23 10:11 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 23 Apr 2016 08:46:42 +0000 (23 10:46 +0200) | ||
| tree | 72bb6494497f78e90053f36f62a6b06be53ada7f | treesnapshot (tar.gz zip) |
| parent | 913ae6015f74062d8b2542be893264ab92772f0b | commitdiff |
support __builtin_assume
__builtin_assume is treated in exactly the same way as __pencil_assume
(when the pencil option is set). Note that this only works in conjunction
with clang 3.6 or newer. Older versions of clang will complain about
the use of an unknown builtin.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
__builtin_assume is treated in exactly the same way as __pencil_assume
(when the pencil option is set). Note that this only works in conjunction
with clang 3.6 or newer. Older versions of clang will complain about
the use of an unknown builtin.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory |