With all my respect,
A software bug can be a whole badly specified logic subsystem, which in combination with other system modules and at some undefined state may fail to achieve that for it was designed in first place: assist the pilot in bringing people safely from A to B.
IF parameters are in contradiction, THEN a simple "CONFIRM LANDING" will do the job.