Skip to content

C++: More builtins and information regarding this param refs #21164

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jketema merged 7 commits into from
Jan 15, 2026
Merged

C++: More builtins and information regarding this param refs #21164

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
3d959ab
C++: Support new builtin operations
jketema Jan 9, 2026
93535d1
C++: Add tests for new builtin operations
jketema Jan 9, 2026
bb33ea3
C++: Add change note for new builtins
jketema Jan 9, 2026
047fa06
C++: Add `isThisAccess` predicate to `ParamAccessForType`
jketema Jan 9, 2026
f6b720b
C++: Add change note
jketema Jan 9, 2026
7a13cba
C++: Add upgrade and downgrade scripts
jketema Jan 9, 2026
1dacd83
C++: Update dbscheme stats file
jketema Jan 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions cpp/downgrades/1402ab319d20cdc9289deb7bfc1c70f36be44d44/exprs.ql
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
class Expr extends @expr {
string toString() { none() }
}

class Location extends @location_default {
string toString() { none() }
}

predicate isExprWithNewBuiltin(Expr expr) {
exists(int kind | exprs(expr, kind, _) | 394 <= kind and kind <= 396)
}

from Expr expr, int kind, int kind_new, Location location
where
exprs(expr, kind, location) and
if isExprWithNewBuiltin(expr) then kind_new = 1 else kind_new = kind
select expr, kind_new, location
Loading