From: whitequark <whitequark@whitequark.org>
Date: Fri, 19 Jun 2020 15:46:54 +0000 (+0000)
Subject: Merge pull request #2175 from Xiretza/missing-noreturn
X-Git-Tag: working-ls180~459
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d5d0cc88d272b85c3be3677993596dcfa82d579f;p=yosys.git

Merge pull request #2175 from Xiretza/missing-noreturn

Add missing [[noreturn]] to log_file_error()
---

d5d0cc88d272b85c3be3677993596dcfa82d579f