-
When no input files are provided, args may be NULL, but n_args is set to 1 by the code handling stdin. This can result in a dereference of args[0] when it isn’t set. Avoid that by setting args to a dummy array of ['stdin']. Coverity ID: 1388557 #160
33cb3d68