hack: dummy change to trigger qlucie

This commit is contained in:
Mads Navntoft
2025-04-11 09:21:34 +02:00
parent 7ed8a85e08
commit 4042fa48e9

View File

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