Displaying 5 results from an estimated 5 matches for "setmodule".
Did you mean:
semodule
2013 Jun 05
2
[LLVMdev] klee linker problem
...7 klee 0x00002ac2cc78779d klee::linkWithLibrary(llvm::Module*,
std::string const&) + 253
8 klee 0x00002ac2cc783954
klee::KModule::prepare(klee::Interpreter::ModuleOptions const&,
klee::InterpreterHandler*) + 2180
9 klee 0x00002ac2cc73715d
klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions
const&) + 157
10 klee 0x00002ac2cc71a94a main + 3546
11 libc.so.6 0x00002ac2ce54676d __libc_start_main + 237
12 klee 0x00002ac2cc72da6d
make: *** [direct] Aborted (core dumped)
The problem is that KLEE is trying to loo...
2008 May 23
1
[LLVMdev] DebugInfoBuilder?
...nfoBuilder();
/// Return the type defined by llvm.dbg.anchor.type
StructType * GetAnchorType() const;
/// Set the reference to the module where we will insert debugging
information.
/// Also defines the debug info types for the module and creates the
initial anchors.
void SetModule(Module * m);
/// Emit a compile unit descriptor.
GlobalVariable * CreateCompileUnitDescriptor(
unsigned langId,
const sys::Path & srcPath,
const std::string & producer);
/// Emit a subprogram descriptor.
GlobalVariable * CreateSubProgramDescripto...
2013 Jun 06
0
[LLVMdev] klee linker problem
...cc78779d klee::linkWithLibrary(llvm::Module*,
> std::string const&) + 253
> 8 klee 0x00002ac2cc783954
> klee::KModule::prepare(klee::Interpreter::ModuleOptions const&,
> klee::InterpreterHandler*) + 2180
> 9 klee 0x00002ac2cc73715d
> klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions
> const&) + 157
> 10 klee 0x00002ac2cc71a94a main + 3546
> 11 libc.so.6 0x00002ac2ce54676d __libc_start_main + 237
> 12 klee 0x00002ac2cc72da6d
> make: *** [direct] Aborted (core dumped)
>
> The pro...
2008 May 21
2
[LLVMdev] DebugInfoBuilder?
Are there any utility classes, similar to IRBuilder, for creating source
level debugging info?
-- Talin
2008 May 21
0
[LLVMdev] DebugInfoBuilder?
I don't think so. Contribution welcome! :-) LLVM debugging support
isn't anywhere near where it needs to be.
Evan
On May 20, 2008, at 9:53 PM, Talin wrote:
> Are there any utility classes, similar to IRBuilder, for creating
> source
> level debugging info?
>
> -- Talin
>
> _______________________________________________
> LLVM Developers mailing list
>