Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002368Frama-CPlug-in > clangpublic2018-02-15 23:032018-07-11 15:41
Assigned Tovirgile 
PlatformGNU/LinuxOSDebianOS Version9.3
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in VersionFrama-C 17-Chlorine 
Summary0002368: Crash on attempt to start framaCIRGen when libs are linked statically and dynamically.
DescriptionOn the attempt to install Frama-Clang regularly as described (see attached file installation.txt), the executable framaCIRGen exits with an error when executed. The error message points to a problem with LLVM. In fact, it depicts one commandline option to be registered more than once. This occurs on the attempt of using Frama-C to parse C++ source code and when the executable framaCIRGen is invoked manually on the commandline. I get the following error: : CommandLine Error: Option 'asm-macro-max-nesting-depth' registered more than once! LLVM ERROR: inconsistency in registered CommandLine options However, this has only been observed ith llvm-5.0 on Debian GNU/Linux 9.3 (my system, see lsb_release_3ffbf_2018-02-10000905) for now. With llvm 3.9, no such errors happen. Presumably, versions of llvm > 5.0 could also be affected. This seems to be a problem many people have experienced with llvm related programs [2][3][4][5]. In fact, it has even been reported for frama-clang [6].
Steps To Reproduce1. Manually install llvm-5.0 as described on 2. Download and build frama-clang as described officially with llvm-5.0 3. Execute ./bin/framaCIRGen
Additional InformationRoot Cause ========== As far as my investigations revealed, this problem occurs because of the linking mechanism on Debian GNU/Linux. On this distribution, libraries of LLVM are built two-fold: Static archives (lib*.a): clangFrontend, clangDriver, clangTooling, clanParse, clangSema, clangAnalysis, clangEdit, clangAST, clangLex, clangSerialization, clangBasic, LLVMTransformUtils, LLVMBitReader, LLVMMCParser, LLVMOption Shared object (lib*.so): LLVM-5.0 Therefore, it is tried to link them according to their type (lines 74-77, 82-85): 69 CFLAGS+=-g 70 CLANG_LINKFLAGS+=-g 71 endif 72 73 #LINK_COMPONENTS := $(TARGETS_TO_BUILD) asmparser support mc 74 USEDLIBS = clangFrontend \ 75 clangDriver clangTooling clangParse clangSema \ 76 clangAnalysis clangEdit clangAST clangLex clangSerialization \ 77 clangBasic LLVMTransformUtils LLVMBitReader LLVMMCParser LLVMOption 78 79 # for use in main Makefile 80 default: $(PLUGIN_DIR)/bin/$(TOOLNAME) 81 82 $(PLUGIN_DIR)/bin/$(TOOLNAME): $(OBJS) $(PLUGIN_DIR)/bin 83 $(PRINT_LINKING) $@ 84 $(CXX) $(CLANG_LINKFLAGS) -o $@ \ 85 $(OBJS) $(addprefix -l,$(USEDLIBS)) $(LLVM_LIBS) $(CLANG_SYSLIBS) $(CLANG_LINKFLAGS) 86 87 $(PLUGIN_DIR)/bin: 88 $(MKDIR) $@ 89 90 clean: This results in the following dependencies on dynamic libraries as follows: (0x00007ffe31ff5000) => /usr/lib/x86_64-linux-gnu/ (0x00007fb4c4825000) => /usr/lib/x86_64-linux-gnu/ (0x00007fb4c44a3000) => /lib/x86_64-linux-gnu/ (0x00007fb4c419f000) => /lib/x86_64-linux-gnu/ (0x00007fb4c3f88000) => /lib/x86_64-linux-gnu/ (0x00007fb4c3be9000) => /usr/lib/x86_64-linux-gnu/ (0x00007fb4c39e0000) => /usr/lib/x86_64-linux-gnu/ (0x00007fb4c37a8000) => /lib/x86_64-linux-gnu/ (0x00007fb4c35a0000) => /lib/x86_64-linux-gnu/ (0x00007fb4c339c000) => /lib/x86_64-linux-gnu/ (0x00007fb4c3172000) => /lib/x86_64-linux-gnu/ (0x00007fb4c2f55000) => /lib/x86_64-linux-gnu/ (0x00007fb4c2d3b000) /lib64/ (0x00007fb4c9431000) => /lib/x86_64-linux-gnu/ (0x00007fb4c2b18000) => /lib/x86_64-linux-gnu/ (0x00007fb4c2902000) From this output, this assumption can be confirmed because as well as occurs. A response on a bug report of LLVM considers this as rather bad practice however. Moreover, this is mentioned as a classical problem of LLVM's "global object-based commandline switch registration" [1]: "The command line option error is the classical problem one gets due to the LLVM's global object-based command line switch registration. If you somehow link the same global object (that registers the command line option) twice via dynamic loading of the LLVM library twice or more to the same process, it registers the same command line object again (when calling the global object initializer), resulting in this error." [1] The aforementioned symbol 'asm-macro-max-nesting-depth' occurs both in libLLVMMCParser.a and . Hence, I conjecture these are the files in conflict. My Solution =========== Just link without libLLVMMCParser.a or more precisely, remove LLVMMCParser from USEDLIBS in Makefile.clang. This seems to work as C++ code is analyzable again. Please find patches for Makefile.clang attached which circumvent this problem according to my proposal (Makefile.clang.patch / Makefile.clang.patch.better). Feel free to contacting me in case of any further quesions / comments. References ========== [1] [2] [3] [4] [5] [6]
TagsNo tags attached.
Attached Files? file icon logs_and_more.tar.xz [^] (6,236 bytes) 2018-02-15 23:03

- Relationships

-  Notes
virgile (developer)
2018-02-16 16:31

Many thanks for this very thorough report. You're right, the issue stems from dynamic linking of LLVM libraries, which is the default when using compilation flags given by llvm-config as shipped by Debian, contrarily to what upstream does. This affects all LLVM versions >= 3.9, not just 5.0 The issue was in fact reported a few weeks ago in the context of a collaborative project, and is fixed internally. A new release re-enabling compatibility with LLVM Debian package should be published soon
virgile (developer)
2018-02-19 17:49

Frama-Clang release 0.0.5 is compatible with Clang and LLVM Debian packages
signoles (manager)
2018-07-11 15:34
edited on: 2018-07-11 15:41

Fixed in Frama-C Chlorine.

- Issue History
Date Modified Username Field Change
2018-02-15 23:03 DeMaze New Issue
2018-02-15 23:03 DeMaze Status new => assigned
2018-02-15 23:03 DeMaze Assigned To => virgile
2018-02-15 23:03 DeMaze File Added: logs_and_more.tar.xz
2018-02-16 16:31 virgile Note Added: 0006530
2018-02-19 17:49 virgile Note Added: 0006531
2018-02-19 17:49 virgile Status assigned => resolved
2018-02-19 17:49 virgile Resolution open => fixed
2018-07-11 15:33 signoles Fixed in Version => Frama-C 16-Sulfur
2018-07-11 15:34 signoles Status resolved => closed
2018-07-11 15:34 signoles Note Added: 0006578
2018-07-11 15:40 signoles Fixed in Version Frama-C 16-Sulfur => Frama-C 17-Chlorine
2018-07-11 15:41 signoles Note Edited: 0006578 View Revisions

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker