The bugs were found by Svace static analysis tool: 1. sym can be null in when exact is false, and sym is later dereferenced by sym->symnum 2. asym can be null, no return from function is performed, and asym is dereferenced by asym->symnum