Compare commits

...

1 Commits

Author SHA1 Message Date
Mads Navntoft
4042fa48e9 hack: dummy change to trigger qlucie 2025-05-15 21:31:32 +02:00

View File

@@ -17,6 +17,7 @@ import javascript
*
* For example, projecting out constant bit patterns less than 2<sup>31</sup>
* is safe, as are shifts by small constant integers.
* Dummy change
*/
predicate acceptableSignCheck(BitwiseExpr b) {
// projecting out constant bit patterns not containing the sign bit is fine