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

Assertion fails while reverse-continuing after setting watchpoint #1894

Open
SeanHeelan opened this issue Nov 16, 2016 · 4 comments
Open

Assertion fails while reverse-continuing after setting watchpoint #1894

SeanHeelan opened this issue Nov 16, 2016 · 4 comments

Comments

@SeanHeelan
Copy link

Hey,

While trying to reverse continue after setting a watchpoint I get the following error:

rr: /home/sean/Documents/git/rr/rr/src/ReplayTimeline.cc:213: void rr::ReplayTimeline::mark_after_singlestep(const rr::ReplayTimeline::Mark&, const rr::ReplayResult&): Assertion `i + 1 < mark_vector.size() && mark_vector[i + 1] == m.ptr' failed.

On a similar issue I saw you requested the output with RR_LOG=GdbConnection set, so I've gathered that and you can find it at https://gist.github.com/SeanHeelan/a424c20e0d63c255755a6205174daaee

I am using the latest version from the master branch (1a16633), on Fedora 24 with a 4.8.4 kernel. The target application is a variant of the klee symbolic execution engine.

If you need any further details let me know!

@SeanHeelan
Copy link
Author

I've just realised that the watchpoint doesn't actually seem to have anything to do with the assertion failure. Instead of setting the watchpoint and running reverse-continue, if I simply run reverse-continue the same issue occurs.

@rocallahan
Copy link
Collaborator

Actually I need RR_LOG=GdbConnection,ReplayTimeline.

@rocallahan
Copy link
Collaborator

Also I'll add some more logging to ReplayTimeline to help with bugs like this.

@rocallahan
Copy link
Collaborator

OK try again with 58945ff

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