Open Bug 1284975 Opened 4 years ago Updated 1 year ago

[meta] Make SpiderMonkey clean on UBSan


(Core :: JavaScript Engine, defect, P2)




Tracking Status
firefox50 --- affected


(Reporter: terrence, Unassigned)


(Depends on 1 open bug, Blocks 2 open bugs)


(Keywords: meta)


(1 file)

We have a number of open bugs (e.g. 1281168, 1262015, and everything [gcc 6.1]) that reek of "miscompilation". Fixing all of our UBSan reports seems like it might be a faster way to fix these than hunting down each such miscompilation one at a time.

Luckily, running jsapi-tests under UBSan turned up a number of scary, but correct and actionable, reports that we should fix. I'll file bugs blocking this one with patches. Help would of course be appreciated, if anyone has spare cycles. It's really easy to get UBSan running and it's reports are generally pretty obviously correct and relatively easy to address; ping me on IRC if you need help.
Depends on: 1284977
This is a most noble goal to attain.
Depends on: 1285032
Depends on: 1285034
Depends on: 1285035
Depends on: 1285057
Assignee: nobody → terrence
Depends on: 1401515
List of UBSan errors when running jstests+jit-tests with default options. Already excluding the issues fixed in bug 1401145, bug 1401191, bug 1401200, bug 1401209, and bug 1401515.
Depends on: 1404251
Depends on: 1405156
Depends on: 1413049
Depends on: 866608
Depends on: 1437970
Assignee: terrence.d.cole → nobody
Priority: -- → P2
Could we build with `-f[wt]rapv -fno-strict-aliasing -fno-delete-null-pointer-checks` and insert a compiler plugin that modifies the IR to not require pointer alignment?
Depends on: 1480077
Blocks: ubsan
You need to log in before you can comment on or make changes to this bug.