[klee-dev] The patch for PR6171: "KLEE 64-bit Crashes on Some Coreutils"

[nobled]

http://llvm.org/PR6171

The bug reporter attached a patch to fix this back in June by adding
in support for non-primitive types; does it look good enough to go in?