VG_(strlen)( VG_(args_the_exename) ));
for (i = 0; i < VG_(sizeXA)( VG_(args_for_client) ); i++) {
HChar* arg = * (HChar**) VG_(indexXA)( VG_(args_for_client), i );
- if (arg) {
- VG_(write)(fd, " ", 1);
- VG_(write)(fd, arg, VG_(strlen)( arg ));
- }
+ VG_(write)(fd, " ", 1);
+ VG_(write)(fd, arg, VG_(strlen)( arg ));
}
// "events:" line
if (clo_cache_sim && clo_branch_sim) {
FP("%s", VG_(args_the_exename));
for (i = 0; i < VG_(sizeXA)( VG_(args_for_client) ); i++) {
HChar* arg = * (HChar**) VG_(indexXA)( VG_(args_for_client), i );
- if (arg)
- FP(" %s", arg);
+ FP(" %s", arg);
}
FP("\n");