Hi, this remained unresolved for a long time, but, if I understand correctly Jason' Comment 1, should be rather easy, just do not complain for uninitialized const members in aggregates, recursively too (per struct B in the testcases). Does the below makes sense, then?!? It passes testing, anyway. I'm also taking the occasion to guard the warnings with complain & tf_warning. Thanks, Paolo. /////////////////////