$/$ Increment each integer in the array $\text{'}$p$\text{'}$ of size $\text{'}$n$\text{'}./$ void increment$\_$ints $($int p $[/*$n$/],$ int n$)$

$\{$

assert$($p$!=$ NULL$)$; $/*$ Ensure that $\text{'}$p$\text{'}$ isn't a null pointer. $*/$

assert $($n $>=0)$; $/$ Ensure that $\text{'}$n$\text{'}$ is nonnegative. $*/$

while $($n$)/$ Loop over $\text{'}$n$\text{'}$ elements of $\text{'}$p$\text{'}.*/$

$\{$

$*$p$++$;

$/$ Increment $*$p$.*/$

p$++,$ n$--$;

$/*$ Increment p$,$ decrement n$.*/$

$\}$

$\}$

Consider the function increment$\_$ints$(),$ defined above. Despite its significant inline commentary, it contains an error. Which one of the following correctly assesses it$?$

Pick ONE option

$*$p$++$ causes p to be incremented before the dereference is performed, because both operators have equal precedence and are right associative.

An array is a nonmodifiable lvalue, so p cannot be incremented directly. A navigation pointer should be used in conjunction with p$.$

$*$p$++$ causes p to be incremented before the dereference is performed, because the autoincrement operator has higher precedence than the indirection operator.

The condition of a while loop must be a Boolean expression. The condition should be n $!=0.$

An array cannot be initialized to a variable size. The subscript n should be removed from the definition of the parameter p$.$