Commit 9a60ba0a authored by Wei-Cheng Wu's avatar Wei-Cheng Wu
Browse files

Slightly chage and add authorship

parent 7e7885c5
......@@ -5,7 +5,7 @@
* @author Bernard Nongpoh (bernard.nongpoh@cea.fr)
* @author Wei-Cheng Wu (wwu@isi.edu)
* @date Created: 2021-05-11
* Last Modified: 2022-06-24
* Last Modified: 2022-07-26
*/
/**
......@@ -697,12 +697,15 @@ public:
" != " +
lhs + " / " + rhs
);
// Remove as it is quite easy to introduce Arithmetic exception
/*
if (isCompatibleType)
aor_labels.push_back(
lhs + " * " + rhs +
" != " +
lhs + " / " + rhs
);
*/
}
else if (node_BO->getOpcode() == BO_Rem ||
node_BO->getOpcode() == BO_RemAssign)
......
/*
@Author: Bernard Nongpoh
@Email: bernard.nongpoh@cea.fr
*/
/**
* @author Bernard Nongpoh (bernard.nongpoh@cea.fr)
* @author Wei-Cheng Wu (wwu@isi.edu)
*/
#include "Graph.h"
#include "clang/AST/AST.h"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment