From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 7 Nov 2014 19:58:08 +0000 (+0100)
Subject: Added "used" attribute to entries in yosys_cover_list
X-Git-Tag: yosys-0.4~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=89be7bf52785c9a3058a0049481388ad44459174;p=yosys.git

Added "used" attribute to entries in yosys_cover_list

http://www.reddit.com/r/yosys/comments/2kw479/fyi_clang_350_build_error/cltgwyc
http://llvm.org/bugs/show_bug.cgi?id=19474
---

diff --git a/kernel/log.h b/kernel/log.h
index 707497a99..93e8144a0 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -90,7 +90,7 @@ static inline void log_assert_worker(bool cond, const char *expr, const char *fi
 #ifdef YOSYS_ENABLE_COVER
 
 #define cover(_id) do { \
-    static CoverData __d __attribute__((section("yosys_cover_list"), aligned(1))) = { __FILE__, __FUNCTION__, _id, __LINE__, 0 }; \
+    static CoverData __d __attribute__((section("yosys_cover_list"), aligned(1), used)) = { __FILE__, __FUNCTION__, _id, __LINE__, 0 }; \
     __d.counter++; \
 } while (0)