else if ("x86_64".equalsIgnoreCase(arch) || "AMD64".equalsIgnoreCase(arch))
arch = "amd64";
- if (os.toLowerCase().startsWith("win")){
+ if (os.toLowerCase().startsWith("win")) {
os = "Windows";
- } else if (os.contains("OS X"))
+ } else if (os.contains("OS X")) {
os = "Darwin";
-
+ }
os = os.replace(' ', '_');
arch = arch.replace(' ', '_');
if (size <= BLOCKSIZE / 2) { // Full block -> Fragment; no need to optimize for time
result = mmalloc(mdp, size);
- if (result != NULL) { // useless (mmalloc never returns NULL), but harmless
- memcpy(result, ptr, requested_size);
- mfree(mdp, ptr);
- return (result);
- }
+ memcpy(result, ptr, requested_size);
+ mfree(mdp, ptr);
+ return (result);
}
/* Full blocks -> Full blocks; see if we can hold it in place. */