By 'situation specific' I mean it uses some data that it would have access to such as your current database setup, version of some OS, etc.

Imagine if the compiler would check the database you were currently using in your app and call you out a warning saying ***'just so you know, the current data in your database will never trigger the statement you just wrote***' or things like '***you know, if this becomes a null value you are really going to be screwed***'... It could probably take a while, but if it had something to go by (such as a current database) it could have something to check against rather than just 'every possibility'.

Do you think this is feasible/valuable? Does this exist anywhere?

It would be cool to have a quantum compiler that would figure out every possibility and automatically come up with exception handling, etc.