|
If you were logged in you would be able to see more operations.
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
Issue Links:
|
Solve
|
|
|
|
This issue will be solved by:
|
|
STR-673
multiple definitions of symbols throu...
|
|
|
|
|
|
|
The following warnings are common:
I'm not 100% sure that this is a compiler problem, maybe it's a problem with duplicate imports of signatures.
<tsuna> [ strc | info ] Compiling '../../../src/tools/pp-prism.str'
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("FILE",[VarDec("g_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("FILE",[VarDec("k_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("DIR",[VarDec("h_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("DIR",[VarDec("l_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("TEMP",[],[]),ExtSDef("TEMP",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("TempFiles",[],[]),ExtSDef("TempFiles",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("TempDirs",[],[]),ExtSDef("TempDirs",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Tool",[VarDec("i_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Tool",[VarDec("m_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Repository",[],[]),ExtSDef("Repository",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Import",[],[]),ExtSDef("Import",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Imported",[VarDec("j_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Imported",[VarDec("n_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("XTC",[],[]),ExtSDef("XTC",[],[])]
<tsuna> [ strc | info ] Front-end succeeded : [user/system] = [3.58s/1.38s]
<tsuna> [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.09s/0.02s]
<tsuna> [ strc | info ] Back-end succeeded : [user/system] = [1.66s/0.10s]
<tsuna> [ strc | info ] Compilation succeeded : [user/system] = [5.35s/1.51s]
<tsuna> and then
<tsuna> linking pp-prism leads to *tons* of warnings from ld such as:
<tsuna> /usr/bin/ld: warning multiple definitions of symbol _FILE_1_0
<tsuna> /nix/store/9g6qzzmahjfh5p7hfpvc13anblkwvacb-strategoxt/lib/libstratego-gpp.dylib(libstratego_gpp_la-libstratego-gpp.o) definition of _FILE_1_0
<tsuna> /nix/store/9g6qzzmahjfh5p7hfpvc13anblkwvacb-strategoxt/lib/libstratego-xtc.dylib(libstratego_xtc_la-libstratego-xtc-posix-xsi.o) definition of _FILE_1_0
<tsuna> the following symbols are concerned: _FILE_1_0, _Import_0_0, _Import_1_0, _Repository_0_0, _TEMP_0_0, _TempDirs_0_0, _TempFiles_0_0, _Tool_1_0, _XTC_0_0, _DIR_1_0, _DYNAMIC__CALLS_0_0
|
|
Description
|
The following warnings are common:
I'm not 100% sure that this is a compiler problem, maybe it's a problem with duplicate imports of signatures.
<tsuna> [ strc | info ] Compiling '../../../src/tools/pp-prism.str'
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("FILE",[VarDec("g_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("FILE",[VarDec("k_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("DIR",[VarDec("h_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("DIR",[VarDec("l_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("TEMP",[],[]),ExtSDef("TEMP",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("TempFiles",[],[]),ExtSDef("TempFiles",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("TempDirs",[],[]),ExtSDef("TempDirs",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Tool",[VarDec("i_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Tool",[VarDec("m_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Repository",[],[]),ExtSDef("Repository",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Import",[],[]),ExtSDef("Import",[],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("Imported",[VarDec("j_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Imported",[VarDec("n_27",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])]
<tsuna> [ strc | warning ] multiple external definitions with same signature
<tsuna> [ExtSDef("XTC",[],[]),ExtSDef("XTC",[],[])]
<tsuna> [ strc | info ] Front-end succeeded : [user/system] = [3.58s/1.38s]
<tsuna> [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.09s/0.02s]
<tsuna> [ strc | info ] Back-end succeeded : [user/system] = [1.66s/0.10s]
<tsuna> [ strc | info ] Compilation succeeded : [user/system] = [5.35s/1.51s]
<tsuna> and then
<tsuna> linking pp-prism leads to *tons* of warnings from ld such as:
<tsuna> /usr/bin/ld: warning multiple definitions of symbol _FILE_1_0
<tsuna> /nix/store/9g6qzzmahjfh5p7hfpvc13anblkwvacb-strategoxt/lib/libstratego-gpp.dylib(libstratego_gpp_la-libstratego-gpp.o) definition of _FILE_1_0
<tsuna> /nix/store/9g6qzzmahjfh5p7hfpvc13anblkwvacb-strategoxt/lib/libstratego-xtc.dylib(libstratego_xtc_la-libstratego-xtc-posix-xsi.o) definition of _FILE_1_0
<tsuna> the following symbols are concerned: _FILE_1_0, _Import_0_0, _Import_1_0, _Repository_0_0, _TEMP_0_0, _TempDirs_0_0, _TempFiles_0_0, _Tool_1_0, _XTC_0_0, _DIR_1_0, _DYNAMIC__CALLS_0_0 |
Show » |
|
|
Bug
Closed
Blocker
strc: fix multiple external definitions problems
definitions that are imported as externals are not exported as externals from a library, constructors
imported by a library, are also exported by that library. This causes congruences to be regenerated,
possibly not in that same library, but in a library one step further in the import chain.
front/introduce-congdefs.str :
// avoid double definitions of congruences by registering already defined operators
Thus, the external definitions for congruences from an imported library, prevent generation of new congruences.
However, since imported external definitions are not exported, the next library does not see those congruence
definitions, and will re-generate them.
What is needed is a distinction between internal and external constructor.
Or we should even not export imported constructors.
That requires a notion of external constructor definition.