//Also, the error that you got in User::~User() looks more like a problem
//in your pass than a problem with the members you added to the Value
I forgot to "make install" LLVM after "make" LLVM.
After doing that, I can set the property which was adding in the Value class.
//If you provide a full stack trace (with line numbers, from GDB),
//I could tell you more specifically what's wrong. However, it looks like
//you have a bad pointer, possibly, in the Operands of your Function.
Thank you for the advice.