>>174It's debatable if a program that may have undefined behavior should be allowed to be used. Like indexing outside the bounds of an array. But in order for a compiler to check these conditions tractably, a different language than c might be more appropriate. Explicit dependent types would be helpful. Otherwise the checker is essentially doing dependent typing inference...and looking for conflicting types...which is possible I'm sure but probably kind of hard...it reduces to the halting problem pretty trivially, but if you can get it to the point where the unprovable cases are questionable enough to not be accepted in a program, then that's good enough...