File tree Expand file tree Collapse file tree 1 file changed +23
-0
lines changed Expand file tree Collapse file tree 1 file changed +23
-0
lines changed Original file line number Diff line number Diff line change 1+ ---
2+ name : " `riscv`: Nominate CSR to be `write` safe"
3+ about : Suggest to make writes of a given CSR safe
4+ title : " `riscv`: make [CSR] write-safe"
5+ labels : ' '
6+ assignees : ' '
7+
8+ ---
9+
10+ ** Which CSR do you want to nominate as ` write ` safe?**
11+ Indicate which CSR you want to be ` write ` safe. Ex. ` mepc `
12+
13+ ** Does a CSR write introduce potential memory safety issues in safe code? Please describe.**
14+ A clear and concise justification on why writing to this CSR will ** never** introduce memory safety issues in safe code.
15+
16+ ** Does a CSR write introduce potential undefined behavior in safe code? Please describe.**
17+ A clear and concise justification on why writing to this CSR will ** never** lead to undefined behavior in safe code.
18+
19+ ** Does a CSR write invalidate invariants in safe code?**
20+ A clear and concise justification on why writing to this CSR will ** never** invalidate invariants in safe code.
21+
22+ ** Additional context**
23+ Please feel free to add any other context or screenshots about your request here.
You can’t perform that action at this time.
0 commit comments