我越来越inling警告如:Supressing内联警告
warning: inlining failed in call to ‘symbol_Arity’: call is unlikely and code size would grow
为了摆脱这个我改变了生成文件去除-Winline摆脱这一点。我没有得到任何内联警告。但是,我不知道它在表演方面有多聪明。任何人都可以给我建议吗?
增加了一些详细信息:
这里是个警告:
search.c: In function ‘prfs_InsertInSortTheories’:
list.h:254: warning: inlining failed in call to ‘list_Delete’: call is unlikely and code size would grow
search.c:187: warning: called from here
list.h:254: warning: inlining failed in call to ‘list_Delete’: call is unlikely and code size would grow
search.c:189: warning: called from here
和相应的代码是:
从list.h
254 static __inline__ void list_Delete(LIST L)
255 {
256 LIST Current;
257
258 Current = L;
259 while (!list_Empty(Current)) {
260 L = list_Cdr(L);
261 list_Free(Current);
262 Current = L;
263 }
和搜索。 c
176 LIST approx;
177 l = clause_Length(Clause);
178 for (i = clause_FirstSuccedentLitIndex(Clause); i < l; i++) {
179 lit = clause_GetLiteral(Clause,i);
180 if (clause_LiteralIsMaximal(lit) &&
181 symbol_IsBaseSort(term_TopSymbol(clause_LiteralSignedAtom(lit)))) {
182 if (prfs_DynamicSortTheory(Search) != (SORTTHEORY)NULL
183 && clause_NumOfSuccLits(Clause) == 1 &&
184 clause_NumOfAnteLits(Clause) == 0)
185 {
186 copy = clause_Copy(Clause);
187 list_Delete(clause_ParentClauses(copy));
188 clause_SetParentClauses(copy,list_Nil());
189 list_Delete(clause_ParentLiterals(copy));
190 clause_SetParentLiterals(copy,list_Nil());
191 clause_SetNumber(copy,clause_Number(Clause));
192 sort_TheoryInsertClause(prfs_DynamicSortTheory(Search),Clause,
193 copy,clause_GetLiteral(copy,i));
194 }
为什么你使用'内联__inline__'而不是标准的C++关键字'inline'? – 2010-05-09 18:35:55
我很抱歉,我误标了它。这个代码实际上是用C语言编写的,但它已经从C90转换为C99。我认为即使对于C99,关键字也不相同。我改变了关键词。即使我和以前一样。 – thetna 2010-05-09 19:26:02