Comments (5)
Ups, false alarm
Sorry!
That happens :)
from cvise.
Thank you for the report. I can confirm I used to have issues with temporary files, but that ought to be fixed.
Can you please share the content of ./creduce_probe.sh
file?
> find /tmp -maxdepth 1 -type d -name "cvise-*" | wc -l
61
This one is fishy, that should not happen. This one is weird:
1.9M /tmp/ice-000530.cpp
8.0K /tmp/ice-000530.sh
Because cvise operates only inside the created /tmp/cvise-*
subfolders.
from cvise.
@marehr And cat you please test the pushed commit? It should help us investigating what leaves the /tmp/cvise*
folders.
from cvise.
My ./creduce_probe.sh
files looks like this:
#!/bin/bash
set -o xtrace
SRC="ice.cpp"
CXX="DISTCC_HOSTS='localhost/6' DISTCC_SKIP_LOCAL_RETRY=1 /usr/bin/distcc /usr/local/bin/clang++-concepts" # bad compiler
CXX_FLAGS="-std=c++2a -pedantic -Wall -Wextra -pthread -fdiagnostics-color=always"
CXX_FLAGS="$CXX_FLAGS --gcc-toolchain=/opt/gcc/gcc-9/usr"
CXX_FLAGS="$CXX_FLAGS -I/usr/lib/clang/11.1.0/include"
# DISTCC_HOSTS='localhost/4'
CXX2="DISTCC_SKIP_LOCAL_RETRY=1 /usr/bin/distcc /group/ag_abi/software/bin/g++-11" # good compiler
CXX2_FLAGS="-std=c++2a -pedantic -Wall -Wextra -pthread -fdiagnostics-color=always"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/include/"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/test/unit/core/algorithm/ $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/test/unit/alignment/pairwise/ $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/test/include $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/submodules/cereal/include $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/submodules/range-v3/include $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/submodules/sdsl-lite/include $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3-build/gcc-9-debug/vendor/googletest/googletest/include $INCLUDE_PATHS"
INCLUDE_PATHS="-I/home/marehr/develope/seqan3/test/unit/alignment/matrix/detail/ $INCLUDE_PATHS"
CMD="-I`pwd` $INCLUDE_PATHS $CXX_FLAGS -c $SRC"
CMD2="-I`pwd` $INCLUDE_PATHS $CXX2_FLAGS -c $SRC"
TIMEOUT_TIME=10s
timeout 100s bash -c "$CXX2 $CMD2" # >output 2>&1
if [ $? -ne 0 ]
then
exit 1
fi
timeout 100s bash -c "$CXX $CMD " 2> output # this will return != 0 on seg fault
if [ $? -ne 0 ]
then
cat output
grep "PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace, preprocessed source, and associated run script." output
exit $? # segmentation faults are a success :)
else
cat output
exit 1 # no seg faults are no success :(
fi
I'm currently right within a reduction, I'll try out the patch once it is done.
Oh, I just noticed that the ice-XXXXX.sh
files are artefacts generated by clang and not cvise
cat ice-89ad62.sh
# Crash reproducer for clang version 14.0.0 ([email protected]:llvm/llvm-project.git b31827f6641178905a866682c0d868b1ca436a5e)
# Driver args: "--driver-mode=g++" "-std=c++2a" "-Xclang" "-internal-isystem/usr/lib64/gcc/x86_64-pc-linux-gnu/11.1.0/include" "-Xclang" "-internal-isystem/usr/lib64/gcc/x86_64-pc-linux-gnu/11.1.0/include-fixed" "-I" "/tmp/cvise-akxcrblq/cvise-rshkjg94" "-I" "/home/marehr/develope/seqan3/test/unit/alignment/matrix/detail/" "-I" "/home/marehr/develope/seqan3-build/gcc-9-debug/vendor/googletest/googletest/include" "-I" "/home/marehr/develope/seqan3/submodules/sdsl-lite/include" "-I" "/home/marehr/develope/seqan3/submodules/range-v3/include" "-I" "/home/marehr/develope/seqan3/submodules/cereal/include" "-I" "/home/marehr/develope/seqan3/test/include" "-I" "/home/marehr/develope/seqan3/test/unit/alignment/pairwise/" "-I" "/home/marehr/develope/seqan3/test/unit/core/algorithm/" "-I" "/home/marehr/develope/seqan3/include/" "-std=c++2a" "-pedantic" "-Wall" "-Wextra" "-pthread" "-fdiagnostics-color=always" "--gcc-toolchain=/opt/gcc/gcc-9/usr" "-I" "/usr/lib/clang/11.1.0/include" "-c" "ice.cpp" "-o" "ice.o"
# Original command: "/home/marehr/Packages/clang-concepts/pkg/bin/clang-13" "-cc1" "-triple" "x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all" "--mrelax-relocations" "-disable-free" "-disable-llvm-verifier" "-discard-value-names" "-main-file-name" "ice.cpp" "-mrelocation-model" "static" "-mframe-pointer=all" "-fmath-errno" "-ffp-contract=on" "-fno-rounding-math" "-mconstructor-aliases" "-munwind-tables" "-target-cpu" "x86-64" "-tune-cpu" "generic" "-debugger-tuning=gdb" "-fcoverage-compilation-dir=/tmp/cvise-akxcrblq/cvise-rshkjg94" "-resource-dir" "/home/marehr/Packages/clang-concepts/pkg/lib/clang/14.0.0" "-I" "/tmp/cvise-akxcrblq/cvise-rshkjg94" "-I" "/home/marehr/develope/seqan3/test/unit/alignment/matrix/detail/" "-I" "/home/marehr/develope/seqan3-build/gcc-9-debug/vendor/googletest/googletest/include" "-I" "/home/marehr/develope/seqan3/submodules/sdsl-lite/include" "-I" "/home/marehr/develope/seqan3/submodules/range-v3/include" "-I" "/home/marehr/develope/seqan3/submodules/cereal/include" "-I" "/home/marehr/develope/seqan3/test/include" "-I" "/home/marehr/develope/seqan3/test/unit/alignment/pairwise/" "-I" "/home/marehr/develope/seqan3/test/unit/core/algorithm/" "-I" "/home/marehr/develope/seqan3/include/" "-I" "/usr/lib/clang/11.1.0/include" "-internal-isystem" "/opt/gcc/gcc-9/usr/lib/gcc/x86_64-pc-linux-gnu/9.3.0/../../../../include/c++/9.3.0" "-internal-isystem" "/opt/gcc/gcc-9/usr/lib/gcc/x86_64-pc-linux-gnu/9.3.0/../../../../include/c++/9.3.0/x86_64-pc-linux-gnu" "-internal-isystem" "/opt/gcc/gcc-9/usr/lib/gcc/x86_64-pc-linux-gnu/9.3.0/../../../../include/c++/9.3.0/backward" "-internal-isystem" "/home/marehr/Packages/clang-concepts/pkg/lib/clang/14.0.0/include" "-internal-isystem" "/usr/local/include" "-internal-isystem" "/opt/gcc/gcc-9/usr/lib/gcc/x86_64-pc-linux-gnu/9.3.0/../../../../x86_64-pc-linux-gnu/include" "-internal-externc-isystem" "/include" "-internal-externc-isystem" "/usr/include" "-Wall" "-Wextra" "-pedantic" "-std=c++2a" "-fdeprecated-macro" "-fdebug-compilation-dir=/tmp/cvise-akxcrblq/cvise-rshkjg94" "-ferror-limit" "19" "-pthread" "-fgnuc-version=4.2.1" "-fno-implicit-modules" "-fcxx-exceptions" "-fexceptions" "-fcolor-diagnostics" "-internal-isystem/usr/lib64/gcc/x86_64-pc-linux-gnu/11.1.0/include" "-internal-isystem/usr/lib64/gcc/x86_64-pc-linux-gnu/11.1.0/include-fixed" "-faddrsig" "-D__GCC_HAVE_DWARF2_CFI_ASM=1" "-o" "ice.o" "-x" "c++" "ice.cpp"
"/home/marehr/Packages/clang-concepts/pkg/bin/clang-13" "-cc1" "-triple" "x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all" "--mrelax-relocations" "-disable-free" "-disable-llvm-verifier" "-discard-value-names" "-main-file-name" "ice.cpp" "-mrelocation-model" "static" "-mframe-pointer=all" "-fmath-errno" "-ffp-contract=on" "-fno-rounding-math" "-mconstructor-aliases" "-munwind-tables" "-target-cpu" "x86-64" "-tune-cpu" "generic" "-debugger-tuning=gdb" "-fcoverage-compilation-dir=/tmp/cvise-akxcrblq/cvise-rshkjg94" "-Wall" "-Wextra" "-pedantic" "-std=c++2a" "-fdeprecated-macro" "-fdebug-compilation-dir=/tmp/cvise-akxcrblq/cvise-rshkjg94" "-ferror-limit" "19" "-pthread" "-fgnuc-version=4.2.1" "-fno-implicit-modules" "-fcxx-exceptions" "-fexceptions" "-fcolor-diagnostics" "-internal-isystem/usr/lib64/gcc/x86_64-pc-linux-gnu/11.1.0/include" "-internal-isystem/usr/lib64/gcc/x86_64-pc-linux-gnu/11.1.0/include-fixed" "-faddrsig" "-D__GCC_HAVE_DWARF2_CFI_ASM=1" "-x" "c++" "ice-89ad62.cpp"
Ups, false alarm 🙈
Sorry!
from cvise.
Now I need to find out how to disable clang's auto-generated bug-reproducer files xD
EDIT://
-fcrash-diagnostics-dir=`pwd`
https://clang.llvm.org/docs/UsersManual.html#cmdoption-fcrash-diagnostics-dir
from cvise.
Related Issues (20)
- Error in ExpressionDetector.cpp when building HOT 1
- Build failure with recent trunk: possibly dangling reference to a temporary HOT 1
- UnIfDefPass has encountered a bug: pass error state: 44 HOT 3
- IfPass has encountered a bug: pass error state: BinaryState: 0-10993 of 10993 instances HOT 6
- ClangBinarySearchPass::replace-function-def-with-decl has encountered a bug: pass error state: BinaryState: 0-1350 of 2701 instances HOT 1
- ClexPass::rm-toks-1 has encountered a bug: pass got stuck state: 50000 HOT 5
- Infinite loop in clang_delta replace-function-def-with-decl HOT 19
- error: no type named 'Designator' in 'clang::DesignatedInitExpr' HOT 1
- RFC for improvement: (1) add support for GCC compilation. (2) This may be a red herring, but we may want to eliminate lines from the end, NOT fromt he begining. HOT 8
- Allow folders/directories in test cases HOT 8
- New release for LLVM 16 support? HOT 3
- remove-unused-outer-class is very restrictive on what it removes HOT 1
- cvise stops intermittently HOT 7
- Parallelism doesn't do much HOT 9
- When are shortcuts taken into account? HOT 3
- clang_delta: […] clang::Expr::ClassifyImpl(…) const: Assertion `isLValue()' failed. HOT 15
- cvise: running only the "light" transformations HOT 2
- ability to use /bin/sh for --commands HOT 2
- Release new version HOT 1
- Understanding C-Vise Performance with multiple cores and Comparison with C-Reduce HOT 7
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cvise.