Should `__attribute__((format))` checking try to const-evaluate strings?

This like it would be an improvement to me
We recently modified the string evaluation facilities to be more generic and not tied to static_assert too much, so this is definitively doable.
In terms of locations, we could print the evaluated string and point to that. I don’t know how easy that would be with our diagnostic engine.