Use adjustments table for allocation lint

Fix #6145. In particular, handle operator overloading.