tree 85112feef9fc8fec556536f533a94a7c9d314dcf
parent 582346a9aae74258635951bf451919db18eb4460
author David Zbarsky <dzbarsky@gmail.com> 1692794187 -0400
committer GitHub <noreply@github.com> 1692794187 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJk5f1LCRBK7hj4Ov3rIwAA48oIAJk0uWIhmwvgoQN4a/daSA4f
 sPwO9VaslYN92eJh3tAGQZZFaYrb2/KD/uzIb0mzTNe/udbJwP+Ezjv30sOtwvkJ
 nEZrSLARyXjP7pjKKUVfokBaMrhE4LKgL/c2zgID/EbkXoO1vsExo2U7pr7gY+mv
 Ifvyt142w2FfHhRPh7QTNdZgKQEEg1NEhH0Ek5+ZqvaZTCOf6O66ahRtRjEz4Glw
 IggodDPFIWmaqaBBz8UiQ3V6Su4hoB0kHJ5xlX5aS8FgT47E0IWJzDXFJHU57sn3
 wQJlThlI7Ci40JdUXS86LFqQISYKIN/b5XW9C6uTuXFT3W8kYIsWaOOiIGx7k6A=
 =zG0q
 -----END PGP SIGNATURE-----
 

Cleanup args construction (#2122)

Some minor optimizations to analysis time memory usage (avoid creating
some list temporaries, some extra strings, etc.)
Some of the usage might be simpler as `args.add("foo", foo)` instead of
`args.add(foo, format="foo=%s")` but I opted to keep the usage the same
as before for safety.