const char *toolname = NULL;
const char *clientname = NULL;
const char *platform;
- const char *default_platform;
+ const char *default_platform = VG_PLATFORM;
const char *cp;
char *toolfile;
char launcher_name[PATH_MAX+1];
toolname = "memcheck";
}
- /* Select a platform to use if we can't decide that by looking at
- the executable (eg because it's a shell script). Note that the
- default_platform is not necessarily either the primary or
- secondary build target. Instead it's chosen to maximise the
- chances that /bin/sh will work on it. Hence for a primary
- target of ppc64-linux we still choose ppc32-linux as the default
- target, because on most ppc64-linux setups, the basic /bin,
- /usr/bin, etc, stuff is built in 32-bit mode, not 64-bit
- mode. */
- if (0==strcmp(VG_PLATFORM,"x86-freebsd")) {
- default_platform = "x86-freebsd";
- } else if (0==strcmp(VG_PLATFORM,"amd64-freebsd")) {
- default_platform = "amd64-freebsd";
- } else {
- barf("Unknown VG_PLATFORM '%s'", VG_PLATFORM);
- }
-
/* Work out what platform to use, or use the default platform if
not possible. */
if (clientname == NULL) {
arg_errors++;
}
} else if (is_opt(argv[i], "--vgdb-prefix=")) {
+ if (vgdb_prefix) {
+ // was specified more than once on the command line
+ // ignore earlier uses
+ free(vgdb_prefix);
+ }
vgdb_prefix = strdup (argv[i] + 14);
} else if (is_opt(argv[i], "--valgrind=")) {
char *path = argv[i] + 11;
and_or_ty = Ity_I1; improve = mkImproveOR1; goto do_And_Or;
do_And_Or:
- return
- assignNew(
- 'V', mce,
- and_or_ty,
- difd(mce, uifu(mce, vatom1, vatom2),
- difd(mce, improve(mce, atom1, vatom1),
- improve(mce, atom2, vatom2) ) ) );
-
return assignNew('V', mce, and_or_ty,
difd(mce, uifu(mce, vatom1, vatom2),
difd(mce, improve(mce, atom1, vatom1),
improve(mce, atom2, vatom2) ) ) );
+
case Iop_Xor8:
return mkUifU8(mce, vatom1, vatom2);
case Iop_Xor16: