In SwitcherPro Desktop Version 3.11.5.2, the program will produce the following error for TPS5401: "The designer could not successfully build a warning-free design with this device and these inputs. Warning: Gain margin for this design, 1dB, is lower than the minimum recommended value! Minimum recommended value for this design is 10dB. Low gain warning!"
This is despite the fact that the TPS5401 lists a minimum gain margin of -10dB when using the Find Devices option of the Advanced Inputs Design Wizard. The TPS54040 has the same -10dB minimum gain margin, but does not produce the error.