uwsampa / accept

an approximate compiler
http://accept.rocks
MIT License
37 stars 14 forks source link

Fix type checking of compound operators #9

Closed sampsyo closed 10 years ago

sampsyo commented 10 years ago

Reported by a user:

The "precision flow violation" wasn't working for compound assignment operators (+=, -= etc.). [...] To fix this, in the EnerCTypeChecker.cpp file I have added the following line right above the case clang::Stmt::BinaryOperatorClass: { line:

case clang::Stmt::CompoundAssignOperatorClass: