Add tests for variadic functions versus attribute nonnull in the static analyzer.