coderkalyan / coderkalyan/femtoc
type_analysis: validate type of stores
Open
- Dominant language
- Zig
- Stars
- 2
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Store instructions should be validated to make sure the operand being stored is of the same type as the destination stack pointer (alloca). Same as everywhere else, we try to implicitly coerce the operand to the destination type, but catch it with a clean user error.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.