ROSE 0.11.67.0.1 fail with several errors

[mingodad]

While testing rajaChecker on this project https://github.com/mingodad/CocoR-CPP/tree/master/src I'm getting this errors:

rajaChecker --version
ROSE 0.11.67.0.1

for fn in *.cpp; do echo $fn; rajaChecker -c $fn;done
Action.cpp
BitArray.cpp
SageInterface::getLoopIndexVariable(), no or more than one initialization statements are encountered. Not supported yet 
SageInterface::getLoopIndexVariable(), no or more than one initialization statements are encountered. Not supported yet 
SageInterface::getLoopIndexVariable(), no or more than one initialization statements are encountered. Not supported yet 
SageInterface::getLoopIndexVariable(), no or more than one initialization statements are encountered. Not supported yet 
CharClass.cpp
CharSet.cpp
Coco.cpp
Comment.cpp
DFA.cpp
rajaChecker[13084] 1.13401s Rose::SageBuilder[WARN ]: Warning: SageInterface::getLoopIndexVariable(). Unhandled init_stmt type of SgForStatement
rajaChecker[13084] 1.13408s Rose::SageBuilder[WARN ]: Init statement is :SgNullStatement ;
Inside of Sg_File_Info::display(Debug) of this pointer = 0x7f3af54636d0 
     isTransformation                      = false 
     isCompilerGenerated                   = false 
     isOutputInCodeGeneration              = true (output in code generator) 
     isShared                              = false 
     isFrontendSpecific                    = false 
     isSourcePositionUnavailableInFrontend = true (source position unavailable in frontend) 
     isCommentOrDirective                  = false 
     isToken                               = false 
     isDefaultArgument                     = false 
     isImplicitCast                        = false 
     (computed) filename = NULL_FILE 
     (computed) line     = 0  column = 0 
     (computed) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (computed) physical_line       = 0 
     source_sequence_number         = 0 
Generator.cpp
HashTable.cpp
Melted.cpp
Node.cpp
Parser.cpp
rajaChecker[13109] 0.86791s Rose[FATAL]: assertion failed:
rajaChecker[13109] 0.86805s Rose[FATAL]:   ../../../../../../rose/src/frontend/CxxFrontend/EDG/edgRose/edgRose.C:31092
rajaChecker[13109] 0.86814s Rose[FATAL]:   SgFunctionDeclaration* EDG_ROSE_Translation::convert_routine(a_routine_ptr, bool, a_template_ptr, SgFunctionDeclaration*)
rajaChecker[13109] 0.86819s Rose[FATAL]:   required: function_cache[p] != __null
Aborted (core dumped)
ParserGen.cpp
Position.cpp
Scanner.cpp
rajaChecker[13122] 1.02909s Rose::SageBuilder[WARN ]: Warning: SageInterface::getLoopIndexVariable(). Unhandled init_stmt type of SgForStatement
rajaChecker[13122] 1.02915s Rose::SageBuilder[WARN ]: Init statement is :SgNullStatement ;
Inside of Sg_File_Info::display(Debug) of this pointer = 0x7f93b88562e0 
     isTransformation                      = false 
     isCompilerGenerated                   = false 
     isOutputInCodeGeneration              = true (output in code generator) 
     isShared                              = false 
     isFrontendSpecific                    = false 
     isSourcePositionUnavailableInFrontend = true (source position unavailable in frontend) 
     isCommentOrDirective                  = false 
     isToken                               = false 
     isDefaultArgument                     = false 
     isImplicitCast                        = false 
     (computed) filename = NULL_FILE 
     (computed) line     = 0  column = 0 
     (computed) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (computed) physical_line       = 0 
     source_sequence_number         = 0 
rajaChecker[13122] 1.02937s Rose::SageBuilder[WARN ]: Warning: SageInterface::getLoopIndexVariable(). Unhandled init_stmt type of SgForStatement
rajaChecker[13122] 1.02939s Rose::SageBuilder[WARN ]: Init statement is :SgNullStatement ;
Inside of Sg_File_Info::display(Debug) of this pointer = 0x7f93b88623d0 
     isTransformation                      = false 
     isCompilerGenerated                   = false 
     isOutputInCodeGeneration              = true (output in code generator) 
     isShared                              = false 
     isFrontendSpecific                    = false 
     isSourcePositionUnavailableInFrontend = true (source position unavailable in frontend) 
     isCommentOrDirective                  = false 
     isToken                               = false 
     isDefaultArgument                     = false 
     isImplicitCast                        = false 
     (computed) filename = NULL_FILE 
     (computed) line     = 0  column = 0 
     (computed) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (computed) physical_line       = 0 
     source_sequence_number         = 0 
rajaChecker[13122] 1.02960s Rose::SageBuilder[WARN ]: Warning: SageInterface::getLoopIndexVariable(). Unhandled init_stmt type of SgForStatement
rajaChecker[13122] 1.02962s Rose::SageBuilder[WARN ]: Init statement is :SgNullStatement ;
Inside of Sg_File_Info::display(Debug) of this pointer = 0x7f93b87eb9f0 
     isTransformation                      = false 
     isCompilerGenerated                   = false 
     isOutputInCodeGeneration              = true (output in code generator) 
     isShared                              = false 
     isFrontendSpecific                    = false 
     isSourcePositionUnavailableInFrontend = true (source position unavailable in frontend) 
     isCommentOrDirective                  = false 
     isToken                               = false 
     isDefaultArgument                     = false 
     isImplicitCast                        = false 
     (computed) filename = NULL_FILE 
     (computed) line     = 0  column = 0 
     (computed) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (internal) physical_file_id    = -2 = NULL_FILE 
     (computed) physical_line       = 0 
     source_sequence_number         = 0 
SortedList.cpp
State.cpp
StringBuilder.cpp
Symbol.cpp
Tab.cpp
Target.cpp

[mingodad]

I'm on Ubuntu 18.04:

rajaChecker --version-long
ROSE (version: 0.11.46.0.1)
  --- using EDG C/C++ front-end version: edg-5.0
  --- using OFP Fortran parser version: unknown (OFP is disabled)
  --- using Boost version: 1.71.0 (/usr)
  --- using backend C compiler: gcc-9 version: 9.3
  --- using backend C compiler path (as specified at configure time): gcc-9
  --- using backend C++ compiler: g++-9 version: 9.3
  --- using backend C++ compiler path (as specified at configure time): g++-9
  --- using original build tree path: /root/mount/rose-build
  --- using instalation path: /usr/rose
  --- using GNU readline version: unknown (readline is disabled)
  --- using libmagic version: unknown (libmagic is disabled)
  --- using yaml-cpp version: unknown (yaml-cpp is disabled)
  --- using lib-yices version: unknown (libyices is disabled)
  --- binary analysis is enabled
  ---   ARM AArch64 is disabled
  ---   ARM AArch32 is disasbled
  ---   concolic testing is disabled

[chunhualiao]

Could you please try to use rose-compiler to see if the error still happens? Also, providing a reproducer or the exact command line you used will simplify the process to look into the issue.

[mingodad]

Could you please try to use rose-compiler to see if the error still happens? Also, providing a reproducer or the exact command line you used will simplify the process to look into the issue.

I'm not sure that you've looked at my first message on this issue ? While testing rajaChecker on this project https://github.com/mingodad/CocoR-CPP/tree/master/src I'm getting this errors:

for fn in *.cpp; do echo $fn; rajaChecker -c $fn;done