Skip to content

Commit 87d9218

Browse files
authored
Merge pull request github#16951 from jketema/builtin-op
C++: Support more builtin operations
2 parents 45b7825 + 5e0ce7e commit 87d9218

File tree

15 files changed

+12680
-2950
lines changed

15 files changed

+12680
-2950
lines changed
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
class Expr extends @expr {
2+
string toString() { none() }
3+
}
4+
5+
class Location extends @location_expr {
6+
string toString() { none() }
7+
}
8+
9+
predicate isExprWithNewBuiltin(Expr expr) {
10+
exists(int kind | exprs(expr, kind, _) | 364 <= kind and kind <= 384)
11+
}
12+
13+
from Expr expr, int kind, int kind_new, Location location
14+
where
15+
exprs(expr, kind, location) and
16+
if isExprWithNewBuiltin(expr) then kind_new = 1 else kind_new = kind
17+
select expr, kind_new, location

0 commit comments

Comments
 (0)