hohn/codeql-javascript-multiflow
1
0
Fork 0
mirror of https://github.com/hohn/codeql-javascript-multiflow.git synced 2025-12-16 12:03:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

wip: illustrate puzzling FP

Browse Source
This commit is contained in:
Michael Hohn
2023-12-06 17:18:36 -08:00
committed by =Michael Hohn
parent 050c3e6243
commit aaa2d94df8
1 changed files with 12 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
source/sample-utility-1.js
View File

@@ -7,25 +7,23 @@ function sus() {
nothing() nothing()
} }
else { else {
if (ua.safeToWrite()) {
ua.setValue('status', value);
ua.update();
}
}
if (funnyvar) {
nothing() nothing()
}
else {
if (ua.safeToWrite()) { if (ua.safeToWrite()) {
ua.setValue('status', value); ua.setValue('status', value);
ua.update(); ua.update();
} }
} }
if (!ua.hasNext()) {
ua.initialize();
ua.setValue('status', value);
ua.insert();
}
else {
ua.next(); ua.next();
ua.setValue('status', value); ua.setValue('status', value);
ua.update(); // unsafe ua.update(); // unsafe
if (ua.safeToWrite()) {
ua.setValue('status', value); // safe
ua.update();
}
}
} }