Skip to content

Commit

Permalink
Fixed warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
DoeringChristian committed Oct 23, 2024
1 parent 6ad1648 commit 288194d
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 8 deletions.
4 changes: 0 additions & 4 deletions src/record_ts.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -660,10 +660,6 @@ int Recording::replay(const uint32_t *replay_inputs, uint32_t *outputs) {
" -> slot(%u, is_pointer=%u, offset=%u)",
param.slot, param.pointer_access,
param.extra.offset);
// HACK: Had to disable this, but I don't understand
// why? if(rv.data == nullptr && !dry_run )
// jitc_fail("replay(): Encountered nullptr in
// parameter s%u.", param.slot);

if (rv.init == RecordVarInit::Captured) {
jitc_log(LogLevel::Debug, " captured");
Expand Down
8 changes: 4 additions & 4 deletions src/record_ts.h
Original file line number Diff line number Diff line change
Expand Up @@ -703,12 +703,12 @@ struct RecordThreadState : ThreadState {

/**
* This function tries to capture a variable that is not known to the
* recording threadstate.
* recording \c ThreadState.
* This is unsupported for now and raises an exception.
*/
uint32_t capture_variable(uint32_t index, const void *ptr = nullptr,
bool remember = true, bool test_scope = true,
bool overwrite = false) {
uint32_t capture_variable(uint32_t index, const void */*ptr*/ = nullptr,
bool /*remember*/ = true, bool test_scope = true,
bool /*overwrite*/ = false) {

scoped_pause();
Variable *v = jitc_var(index);
Expand Down

0 comments on commit 288194d

Please sign in to comment.