| 1505 | } |
| 1506 | |
| 1507 | void LLVMModuleSet::setExtFuncAnnotations(const Function* fun, const std::vector<std::string>& funcAnnotations) |
| 1508 | { |
| 1509 | assert(fun && "Null SVFFunction* pointer"); |
| 1510 | func2Annotations[fun] = funcAnnotations; |
| 1511 | } |
| 1512 | |
| 1513 | bool LLVMModuleSet::hasExtFuncAnnotation(const Function* fun, const std::string& funcAnnotation) |
| 1514 | { |