[pushed] correct/improve handling of null VLA arguments (PR 97188)

[Martin Sebor]

I have committed & pushed the fix in r11-3540.

On 9/24/20 6:15 PM, Martin Sebor wrote:
> The machinery recently added to support -Warray-parameter and
> -Wvla-parameter also results in enhanced detection of null
> pointer arguments to VLA function parameters.  This enhancement
> wasn't tested as comprehensively as it should have been and
> so has some bugs.  The attached patch fixes one that leads
> to an ICE.  It also restructures the function and improves
> the warning issues in this case.
> 
> The fix is slightly bit bigger than what I would normally commit
> without a review but since it's all in code I just wrote and in
> my view low risk I will go ahead and push it in a few days unless
> I hear requests for changes by then.
> 
> Martin