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

Fix clang, gcc >=7.3.0 issues. #24

Merged
merged 13 commits into from
Apr 30, 2018

Conversation

ibeling
Copy link
Collaborator

@ibeling ibeling commented Apr 27, 2018

Fix for guykatzz#21

@ibeling ibeling requested review from clazarus and guykatzz April 27, 2018 10:50
@clazarus clazarus requested review from ShantanuThakoor and removed request for clazarus April 27, 2018 23:41
Rules.mk Outdated
-Wno-deprecated \
-std=c++0x \
\
-g \

ifeq "$(GCCVERSION)" "7.3.0"
Copy link
Collaborator

Choose a reason for hiding this comment

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

I think this affects other versions as well. For example, I have 6.3.0 and this warning already exists. Can you figure out when this warning was introduced, and check if the version is gte that version?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Fixed in 73e94b.

@@ -1064,7 +1064,7 @@ class TableauTestSuite : public CxxTest::TestSuite

// Do some more stuff
TS_ASSERT_THROWS_NOTHING( tableau->computeCostFunction() );
tableau->setEnteringVariableIndex( 2u );
tableau->setEnteringVariableIndex( tableau->variableToIndex( 2u ) );
Copy link
Collaborator

Choose a reason for hiding this comment

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

Does the test fail on mac without this change?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

No, actually the critical thing was the computeChangeColumn. I reverted these changes in the latest commit.

@guykatzz guykatzz merged commit cc096ad into NeuralNetworkVerification:master Apr 30, 2018
matanost pushed a commit that referenced this pull request Nov 2, 2021
* fix: not changing dimensions for cost fn manager on restore.

* Fix for compilation on very new gcc (7.3.0)

* Fix uninitialized value issues in Test_Tableau: test_store_and_restore

* Fix so that gcc <7.3.0  and clang can still compile

* Fix a typo and revert the additional assertions introduced.

* Fix additional bug in Test_Tableau.

* this only needs to affect cxx compilation

* oops

* disable terminate flag if g++ >=6.1

* oops

* Fix macOS Make issues. Revert one line in Test_Tableau

* revert other variableToIndex call in Test_Tableau

* warning about supported platforms
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

Successfully merging this pull request may close these issues.

3 participants