Skip to content

Commit

Permalink
skip
Browse files Browse the repository at this point in the history
  • Loading branch information
YaRiabtsev committed Oct 28, 2022
1 parent 323ba6d commit 9fc8a3a
Show file tree
Hide file tree
Showing 3 changed files with 18 additions and 14 deletions.
3 changes: 2 additions & 1 deletion project/scripts/data/skips/gcc.txt
Original file line number Diff line number Diff line change
Expand Up @@ -51,4 +51,5 @@ limits-blockid, limits-externalid, limits-externdecl: too much handling time
limits-caselabels: exceeded the number of cases allowed by the c standard
921215-1: Function inside function does not comply with the С standard
20020604-1: Float semantics are not IEEEdouble
990928-1.c: run with ASAN_OPTIONS=detect_leaks=0
990928-1: run with ASAN_OPTIONS=detect_leaks=0
limits-pointer, pr46534: time limit
4 changes: 3 additions & 1 deletion project/scripts/data/skips/testcuite.txt
Original file line number Diff line number Diff line change
Expand Up @@ -18,4 +18,6 @@
00205: java code too large
00025, 00180, 00179: using str functions
00214: using __builtin_expect
00143: unsupported Tom Duff's switch
00143: unsupported Tom Duff's switch

00026: idk
25 changes: 13 additions & 12 deletions project/src/transpiler/transpile_helper.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -608,10 +608,10 @@ EOObject GetInitListEOObject(const clang::InitListExpr *list) {
}
eoList.nested.push_back(constData);
}
if (elementType.name != "undefinedtype" && !elementType.name.empty() &&
elementType.typeStyle != ComplexType::RECORD &&
!(elementType.typeStyle == ComplexType::ARRAY &&
elementType.name != "string")) {
if ((elementType.name != "undefinedtype" && !elementType.name.empty() &&
elementType.typeStyle != ComplexType::RECORD &&
elementType.typeStyle != ComplexType::ARRAY) ||
elementType.name == "string") {
res.name += "-as-" + elementType.name;
} else /*if (elementType.name.empty())*/ {
// list->dump();
Expand Down Expand Up @@ -1176,13 +1176,14 @@ EOObject GetIntegerLiteralEOObject(const IntegerLiteral *p_literal) {
return EOObject{str_val, EOObjectType::EO_LITERAL};
}
const uint64_t val = an_int.getZExtValue();
if (val >= (1UL << 63)) {
if (val > 9223372036854775808ULL) { // 2^63
EOObject plus{"plus"};
EOObject times{"times"};
times.nested.emplace_back(std::to_string(val / (1UL << 32)));
times.nested.emplace_back(std::to_string((1UL << 32)));
const uint64_t base = 4294967296L; // 2^32
times.nested.emplace_back(std::to_string(val / base));
times.nested.emplace_back(std::to_string(base));
plus.nested.push_back(times);
plus.nested.emplace_back(std::to_string(val % (1UL << 32)));
plus.nested.emplace_back(std::to_string(val % base));
} else {
const std::string str_val{std::to_string(val)};
return EOObject{str_val, EOObjectType::EO_LITERAL};
Expand Down Expand Up @@ -1566,10 +1567,10 @@ EOObject GetAssignmentOperatorEOObject(const BinaryOperator *p_operator) {
}
}
}
if (typeInfo.typeStyle != ComplexType::RECORD &&
!(typeInfo.typeStyle == ComplexType::ARRAY &&
typeInfo.name != "string") &&
typeInfo.name != "undefinedtype") {
if ((typeInfo.typeStyle != ComplexType::RECORD &&
typeInfo.typeStyle != ComplexType::ARRAY &&
typeInfo.name != "undefinedtype") ||
typeInfo.name == "string") {
binary_op.name += "-as-" + typeInfo.name;
}
binary_op.nested.emplace_back(GetStmtEOObject(left));
Expand Down

1 comment on commit 9fc8a3a

@0pdd
Copy link
Member

@0pdd 0pdd commented on 9fc8a3a Oct 28, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wasn't able to retrieve PDD puzzles from the code base and submit them to github. If you think that it's a bug on our side, please submit it to yegor256/0pdd:

set -x && set -e && set -o pipefail && cd /tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ && pdd -v -f /tmp/20221028-30261-azpok7 [1]: + set -e + set -o pipefail + cd /tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ + pdd -v -f...

Please, copy and paste this stack trace to GitHub:

UserError
set -x && set -e && set -o pipefail && cd /tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ && pdd -v -f /tmp/20221028-30261-azpok7 [1]:
+ set -e
+ set -o pipefail
+ cd /tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ
+ pdd -v -f /tmp/20221028-30261-azpok7

My version is 0.22.0
Ruby version is 2.7.5 at x86_64-linux
Reading from root dir /tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ
/tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ/project/scripts/data/skips/test.txt is a binary file (0 bytes)
/tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ/project/tests/in_progress/for_main/.gitkeep is a binary file (0 bytes)
/tmp/0pdd20221028-13-1xxood8/Z2l0QGdpdGh1Yi5jb206cG9seXN0YXQvYzJlby5naXQ/project/tests/in_progress/test_suit_modified/00013/00013.c is a binary file (0 bytes)
Reading .gitignore ...
Reading README.md ...
Reading .gitattributes ...
Reading Dockerfile ...
Reading .rultor.yml ...
Reading project/eo-lib/pom.xml ...
Reading project/eo-lib/coperators/mod.eo ...
Reading project/eo-lib/coperators/post-dec-float32.eo ...
Reading project/eo-lib/coperators/c-label.eo ...
Reading project/eo-lib/coperators/pre-dec-float32.eo ...
Reading project/eo-lib/coperators/read-as-int64.eo ...
Reading project/eo-lib/coperators/read-as-int8.eo ...
Reading project/eo-lib/coperators/pre-inc-uint32.eo ...
Reading project/eo-lib/coperators/null-function.eo ...
Reading project/eo-lib/coperators/write-as-float32.eo ...
Reading project/eo-lib/coperators/addr-of.eo ...
Reading project/eo-lib/coperators/write-as-uint8.eo ...
Reading project/eo-lib/coperators/ram.eo ...
Reading project/eo-lib/coperators/shift-right.eo ...
Reading project/eo-lib/coperators/post-inc-uint32.eo ...
Reading project/eo-lib/coperators/addrcpy.eo ...
Reading project/eo-lib/coperators/post-inc-float32.eo ...
Reading project/eo-lib/coperators/write-as-int64.eo ...
Reading project/eo-lib/coperators/plug.eo ...
Reading project/eo-lib/coperators/pre-dec-ptr.eo ...
Reading project/eo-lib/coperators/read-as-float32.eo ...
Reading project/eo-lib/coperators/write-as-ptr.eo ...
Reading project/eo-lib/coperators/post-dec-uint64.eo ...
Reading project/eo-lib/coperators/post-inc-uint64.eo ...
Reading project/eo-lib/coperators/as-int16.eo ...
Reading project/eo-lib/coperators/pre-dec-uint8.eo ...
Reading project/eo-lib/coperators/post-dec-int8.eo ...
Reading project/eo-lib/coperators/minus.eo ...
Reading project/eo-lib/coperators/write-as-int16.eo ...
Reading project/eo-lib/coperators/post-inc-float64.eo ...
Reading project/eo-lib/coperators/read-as-ptr.eo ...
Reading project/eo-lib/coperators/pre-dec-int8.eo ...
Reading project/eo-lib/coperators/as-int8.eo ...
Reading project/eo-lib/coperators/post-dec-uint16.eo ...
Reading project/eo-lib/coperators/write-as-bool.eo ...
Reading project/eo-lib/coperators/read-as-uint8.eo ...
Reading project/eo-lib/coperators/pre-dec-int16.eo ...
Reading project/eo-lib/coperators/as-uint32.eo ...
Reading project/eo-lib/coperators/post-dec-ptr.eo ...
Reading project/eo-lib/coperators/as-uint64.eo ...
Reading project/eo-lib/coperators/write-as-int8.eo ...
Reading project/eo-lib/coperators/post-dec-uint8.eo ...
Reading project/eo-lib/coperators/pre-dec-int64.eo ...
Reading project/eo-lib/coperators/pre-inc-int64.eo ...
Reading project/eo-lib/coperators/times.eo ...
Reading project/eo-lib/coperators/read-as-address.eo ...
Reading project/eo-lib/coperators/read-as-int16.eo ...
Reading project/eo-lib/coperators/post-dec-int64.eo ...
Reading project/eo-lib/coperators/c-goto.eo ...
Reading project/eo-lib/coperators/pre-inc-uint64.eo ...
Reading project/eo-lib/coperators/post-inc-int8.eo ...
Reading project/eo-lib/coperators/pre-inc-float32.eo ...
Reading project/eo-lib/coperators/post-inc-int16.eo ...
Reading project/eo-lib/coperators/write-as-string.eo ...
Reading project/eo-lib/coperators/as-char.eo ...
Reading project/eo-lib/coperators/read.eo ...
Reading project/eo-lib/coperators/read-as-uint64.eo ...
Reading project/eo-lib/coperators/pre-dec-uint32.eo ...
Reading project/eo-lib/coperators/div.eo ...
Reading project/eo-lib/coperators/and.eo ...
Reading project/eo-lib/coperators/get.eo ...
Reading project/eo-lib/coperators/write-as-uint64.eo ...
Reading project/eo-lib/coperators/read-as-int32.eo ...
Reading project/eo-lib/coperators/pre-dec-float64.eo ...
Reading project/eo-lib/coperators/bit-not.eo ...
Reading project/eo-lib/coperators/as-bytes.eo ...
Reading project/eo-lib/coperators/post-dec-int32.eo ...
Reading project/eo-lib/coperators/pre-dec-int32.eo ...
Reading project/eo-lib/coperators/plus.eo ...
Reading project/eo-lib/coperators/write-as-uint32.eo ...
Reading project/eo-lib/coperators/write-as-uint16.eo ...
Reading project/eo-lib/coperators/bit-xor.eo ...
Reading project/eo-lib/coperators/as-uint16.eo ...
Reading project/eo-lib/coperators/pre-inc-uint8.eo ...
Reading project/eo-lib/coperators/as-float32.eo ...
Reading project/eo-lib/coperators/gte.eo ...
Reading project/eo-lib/coperators/post-dec-float64.eo ...
Reading project/eo-lib/coperators/pre-inc-ptr.eo ...
Reading project/eo-lib/coperators/write.eo ...
Reading project/eo-lib/coperators/lte.eo ...
Reading project/eo-lib/coperators/pre-dec-uint16.eo ...
Reading project/eo-lib/coperators/post-dec-int16.eo ...
Reading project/eo-lib/coperators/set.eo ...
Reading project/eo-lib/coperators/memcpy.eo ...
Reading project/eo-lib/coperators/as-int32.eo ...
Reading project/eo-lib/coperators/neq.eo ...
Reading project/eo-lib/coperators/post-inc-ptr.eo ...
Reading project/eo-lib/coperators/pre-inc-uint16.eo ...
Reading project/eo-lib/coperators/if.eo ...
Reading project/eo-lib/coperators/not.eo ...
Reading project/eo-lib/coperators/gt.eo ...
Reading project/eo-lib/coperators/post-inc-int64.eo ...
Reading project/eo-lib/coperators/write-as-int32.eo ...
Reading project/eo-lib/coperators/if-else.eo ...
Reading project/eo-lib/coperators/as-bool.eo ...
Reading project/eo-lib/coperators/memaddrcpy.eo ...
Reading project/eo-lib/coperators/write-as-float64.eo ...
Reading project/eo-lib/coperators/shift-left.eo ...
Reading project/eo-lib/coperators/addrmemcpy.eo ...
Reading project/eo-lib/coperators/pre-inc-float64.eo ...
Reading project/eo-lib/coperators/neg.eo ...
Reading project/eo-lib/coperators/read-as-uint32.eo ...
Reading project/eo-lib/coperators/post-inc-uint8.eo ...
Reading project/eo-lib/coperators/as-int64.eo ...
Reading project/eo-lib/coperators/printf.eo ...
Reading project/eo-lib/coperators/post-dec-uint32.eo ...
Reading project/eo-lib/coperators/read-as-float64.eo ...
Reading project/eo-lib/coperators/pos.eo ...
Reading project/eo-lib/coperators/read-as-string.eo ...
Reading project/eo-lib/coperators/read-as-uint16.eo ...
Reading project/eo-lib/coperators/address.eo ...
Reading project/eo-lib/coperators/post-inc-uint16.eo ...
Reading project/eo-lib/coperators/pre-dec-uint64.eo ...
Reading project/eo-lib/coperators/eq.eo ...
Reading project/eo-lib/coperators/pre-inc-int8.eo ...
Reading project/eo-lib/coperators/or.eo ...
Reading project/eo-lib/coperators/post-inc-int32.eo ...
Reading project/eo-lib/coperators/pre-inc-int16.eo ...
Reading project/eo-lib/coperators/as-float64.eo ...
Reading project/eo-lib/coperators/read-as-bool.eo ...
Reading project/eo-lib/coperators/pre-inc-int32.eo ...
Reading project/eo-lib/coperators/as-uint8.eo ...
Reading project/eo-lib/coperators/lt.eo ...
Reading project/eo-lib/coperators/as-string.eo ...
Reading project/eo-lib/coperators/bit-or.eo ...
Reading project/eo-lib/coperators/bit-and.eo ...
Reading project/CMakeLists.txt ...
Reading project/scripts/build_c2eo.py ...
Reading project/scripts/build_eo.py ...
Reading project/scripts/code_lines.py ...
Reading project/scripts/c2eo-all.py ...
Reading project/scripts/clang_tidy.py ...
Reading project/scripts/eo_execute.py ...
Reading project/scripts/compile.py ...
Reading project/scripts/readme.md ...
Reading project/scripts/clean_before_transpilation.py ...
Reading project/scripts/tools.py ...
Reading project/scripts/update-release.py ...
Reading project/scripts/test.py ...
Reading project/scripts/transpile.py ...
Reading project/scripts/data/settings.yml ...
Reading project/scripts/data/meta/run.sh.txt ...
Reading project/scripts/data/meta/plug.txt ...
Reading project/scripts/data/skips/gcc.txt ...
Reading project/scripts/data/skips/testcuite.txt ...
ERROR: ERROR: project/scripts/data/skips/testcuite.txt; PDD::Error at project/scripts/data/skips/testcuite.txt:1: TODO found, but puzzle can't be parsed, most probably because TODO is not followed by a puzzle marker, as this page explains: https://github.com/cqfn/pdd#how-to-format
If you can't understand the cause of this issue or you don't know how to fix it, please submit a GitHub issue, we will try to help you: https://github.com/cqfn/pdd/issues. This tool is still in its beta version and we will appreciate your feedback. Here is where you can find more documentation: https://github.com/cqfn/pdd/blob/master/README.md.
Exit code is 1

/app/objects/git_repo.rb:73:in `rescue in block in xml'
/app/objects/git_repo.rb:70:in `block in xml'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/tempfile.rb:291:in `open'
/app/objects/git_repo.rb:69:in `xml'
/app/objects/puzzles.rb:41:in `deploy'
/app/objects/jobs/job.rb:38:in `proceed'
/app/objects/jobs/job_starred.rb:32:in `proceed'
/app/objects/jobs/job_recorded.rb:31:in `proceed'
/app/objects/jobs/job_emailed.rb:33:in `proceed'
/app/objects/jobs/job_commiterrors.rb:33:in `proceed'
/app/objects/jobs/job_detached.rb:48:in `exclusive'
/app/objects/jobs/job_detached.rb:36:in `block in proceed'
/app/objects/jobs/job_detached.rb:36:in `fork'
/app/objects/jobs/job_detached.rb:36:in `proceed'
/app/0pdd.rb:530:in `process_request'
/app/0pdd.rb:367:in `block in <top (required)>'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1686:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1686:in `block in compile!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1023:in `block (3 levels) in route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1042:in `route_eval'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1023:in `block (2 levels) in route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1071:in `block in process_route'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1069:in `catch'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1069:in `process_route'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1021:in `block in route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1018:in `each'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1018:in `route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1140:in `block in dispatch!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `block in invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `catch'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1135:in `dispatch!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:949:in `block in call!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `block in invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `catch'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:949:in `call!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:938:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/deflater.rb:44:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/xss_header.rb:18:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/path_traversal.rb:16:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/json_csrf.rb:26:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/base.rb:50:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/base.rb:50:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/frame_options.rb:31:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/logger.rb:17:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/common_logger.rb:38:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:255:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:248:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/head.rb:12:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/method_override.rb:24:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:218:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1993:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1553:in `block in call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1769:in `synchronize'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1553:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/handler/webrick.rb:95:in `service'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/webrick/httpserver.rb:140:in `service'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/webrick/httpserver.rb:96:in `run'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/webrick/server.rb:307:in `block in start_thread'

Please sign in to comment.