Commit 312d71ce authored by Henrich Lauko's avatar Henrich Lauko

lart: Fix annotation of trapfn functions.

parent 9adfcfc9
......@@ -187,9 +187,9 @@ struct IndexFunctions {
if ( mdGlobals )
ASSERT( mdGlobalsCount && "The bitcode must define __md_globals_count" );
std::set< llvm::Function * > traps;
brick::llvm::enumerateFunctionsForAnno( "divine.trapfn", mod,
[&]( llvm::Function *f ) { traps.insert( f ); } );
// Look up functions marked with `__trapfn`
LowerAnnotations( trapfn ).run( mod );
auto traps = util::functions_with_attr( trapfn, mod );
std::vector< FunctionMeta > funMeta;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment