MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / parse_nsw_nuw

Function parse_nsw_nuw

tools/alive_parser.cpp:624–636  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

622}
623
624static unsigned parse_nsw_nuw() {
625 unsigned flags = BinOp::None;
626 while (true) {
627 if (tokenizer.consumeIf(NSW)) {
628 flags |= BinOp::NSW;
629 } else if (tokenizer.consumeIf(NUW)) {
630 flags |= BinOp::NUW;
631 } else {
632 break;
633 }
634 }
635 return flags;
636}
637
638static unsigned parse_exact() {
639 if (tokenizer.consumeIf(EXACT))

Callers 1

parse_binop_flagsFunction · 0.85

Calls 1

consumeIfMethod · 0.80

Tested by

no test coverage detected