Opened 8 years ago
Last modified 10 months ago
#722 new enhancement
Find a way to check consistent use of errno_t type.
| Reported by: | Jiří Zárevúcky | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | helenos/unspecified | Version: | mainline |
| Keywords: | Cc: | ||
| Blocker for: | Depends on: | ||
| See also: |
Description
For historical reference: https://github.com/HelenOS/helenos/pull/10
Note:
See TracTickets
for help on using tickets.
The Syc compiler from project Sycek (we already use Ccheck from the same) provides complete checks for incorrect use of any named enumerated type, not just errno_t. It will detect dubious arithmetic (-e, e+e), implicit conversion to int, etc.
There is still some work left until Syc can compile HelenOS but we are already quite close.