-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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.
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
Java: Adopt shared SSA library #16900
base: main
Are you sure you want to change the base?
Conversation
1d5e5ac
to
551238a
Compare
4479e03
to
a93188c
Compare
ab9d191
to
910f049
Compare
shared/ssa/codeql/ssa/Ssa.qll
Outdated
e = DfInput::getARead(_) | ||
or | ||
DfInput::ssaDefAssigns(_, e) and | ||
isPost = false |
Check warning
Code scanning / CodeQL
Var only used in one side of disjunct. Warning
variable isPost
|
||
Location getLocation() { result = super.getLocation() } | ||
|
||
predicate hasCfgNode(BasicBlock bb, int i) { this = bb.(J::BasicBlock).getNode(i) } |
Check warning
Code scanning / CodeQL
Redundant cast Warning
BasicBlock
4db2c2b
to
3d63764
Compare
shared/ssa/codeql/ssa/Ssa.qll
Outdated
e = DfInput::getARead(_) | ||
or | ||
DfInput::ssaDefAssigns(_, e) and | ||
isPost = false |
Check warning
Code scanning / CodeQL
Var only used in one side of disjunct. Warning
variable isPost
308fce2
to
de69820
Compare
shared/ssa/codeql/ssa/Ssa.qll
Outdated
e = DfInput::getARead(_) | ||
or | ||
exists(DefinitionExt def | | ||
DfInput::ssaDefAssigns(def, e) and | ||
hasCertainRead(def) and | ||
isPost = false | ||
) |
Check warning
Code scanning / CodeQL
Var only used in one side of disjunct. Warning
variable isPost
shared/ssa/codeql/ssa/Ssa.qll
Outdated
|
||
private newtype TNode = | ||
TParamNode(DfInput::Parameter p) { | ||
exists(WriteDefinition def | DfInput::ssaDefInitializesParam(def, p)) |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
No description provided.