Rust: Use canonical paths for variants in data flow #18177
Conversation
github-actions
bot
added
C#
Java
Ruby
Rust
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
|
|
||
| fn sink(s: i64) { | ||
| println!("{}", s); | ||
| } |
Check notice
Code scanning / CodeQL
Unused variable Note test
| // has a flow model | ||
| fn identity(i: i64) -> i64 { | ||
| 0 | ||
| } |
Check notice
Code scanning / CodeQL
Unused variable Note test
| // has a flow model | ||
| fn get_var_pos(e: MyPosEnum) -> i64 { | ||
| 0 | ||
| } |
Check notice
Code scanning / CodeQL
Unused variable Note test
| // has a flow model | ||
| fn set_var_pos(i: i64) -> MyPosEnum { | ||
| MyPosEnum::A(0) | ||
| } |
Check notice
Code scanning / CodeQL
Unused variable Note test
| // has a flow model | ||
| fn get_var_field(e: MyFieldEnum) -> i64 { | ||
| 0 | ||
| } |
Check notice
Code scanning / CodeQL
Unused variable Note test
| // has a flow model | ||
| fn set_var_field(i: i64) -> MyFieldEnum { | ||
| MyFieldEnum::C { field_c: 0 } | ||
| } |
Check notice
Code scanning / CodeQL
Unused variable Note test
| result.asLibraryCallable() = this.getSummarizedCallable() | ||
| } | ||
|
|
||
| override EmptyLocation getLocation() { any() } |
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
hvitved
force-pushed
the
rust/dataflow-variant-canonical-path
branch
from
0ebb933 to
2a68e19
Compare
hvitved
force-pushed
the
rust/dataflow-variant-canonical-path
branch
from
2a68e19 to
3c767b0
Compare
Follow-up to #18083 and #18078.