Skip to content

Commit 40fe39c

Browse files
authored
Merge pull request #17311 from jketema/builtins
C++: Add support for more clang builtins
2 parents 966c3a6 + 2b571cf commit 40fe39c

File tree

21 files changed

+9953
-442
lines changed

21 files changed

+9953
-442
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, _) | 385 <= kind and kind <= 388)
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)