Rule 17.5 and arrays of size 1

[misra-c]

Your example is not a violation of rule 17.5. The Amplification states that the argument

... should point into an object that has at least as many elements as the array.

As you quoted, the C standard states that "&glob" should behave as if it were a pointer to the first element of an array of length one. The expected size in "f" is one, and so the example is compliant.