4 ms·
This handles a few cases but nowhere near all of them. Null pointer dereference, use-after-free, data races, and much much more are all global properties with n
by UncleMeat 3y ago
This handles a few cases but nowhere near all of them. Null pointer dereference, use-after-free, data races, and much much more are all global properties with no hope of the compiler protecting you.
- coliveira 3y agoWe're only considering UB conditions here, not errors in general that may be impossible to detect. Every UB condition can be detected by the compiler because, after all, the compiler needs to check for UB to generate code. All it takes is for the compiler to generate warning/errors when this occurs. If this is not done by your compiler, ask them to add this feature instead of just complaining about UB in general.
- UncleMeat 3y agoAll of the things I described are UB.
- dureuill 3y ago> , after all, the compiler needs to check for UB to generate code. No the compiler does not check for UB to generate code. A lot of UB (runtime out of bounds, use after free) are very difficult to detect statically (at least without specialized annotations). The compiler applies transformations to the code that are valid (in the sense that they produce an equivalent program) only in the absence of UB. So if the input program contains UB, the transformed program produced by the compiler may or may not be valid