Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ROSE 0.11.67.0.1 fail with several errors #216

Open
mingodad opened this issue Nov 12, 2022 · 3 comments
Open

ROSE 0.11.67.0.1 fail with several errors #216

mingodad opened this issue Nov 12, 2022 · 3 comments
Assignees

Comments

@mingodad
Copy link

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
Copy link
Author

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 chunhualiao self-assigned this Nov 22, 2022
@chunhualiao
Copy link
Contributor

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
Copy link
Author

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

pinnown pushed a commit that referenced this issue Aug 1, 2024
* Created a new memory image format by extending ROSE's "vxcore"
  format to version 2. The new format uses a simple yet extensible,
  all binary, naturally aligned, fixed-endian, message header that
  contains only what's needed to restore memory to its original
  contents. It is intended to be easily produced on small devices.

Issue #216
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants