-Wextra-semi-stmt and EIGEN_UNUSED_VARIABLE trailing semi inconsistency

Should usage of the EIGEN_UNUSED_VARIABLE() macro require a trailing semi-colon, or not? i.e. should one use:

EIGEN_UNUSED_VARIABLE(size)

or

EIGEN_UNUSED_VARIABLE(size);

Most of the codebase does the latter, but there are at least a dozen or so that do the former.

I'd like to get eigen having no -Wextra-semi-stmt warnings and I'll submit an MR, but I'd like to know first whether to add a bunch of semi-colons or remove them. :)