RHEL Engineering is moving the tracking of its product development work on RHEL 6 through RHEL 9 to Red Hat Jira (issues.redhat.com). If you're a Red Hat customer, please continue to file support cases via the Red Hat customer portal. If you're not, please head to the "RHEL project" in Red Hat Jira and file new tickets here. Individual Bugzilla bugs in the statuses "NEW", "ASSIGNED", and "POST" are being migrated throughout September 2023. Bugs of Red Hat partners with an assigned Engineering Partner Manager (EPM) are migrated in late September as per pre-agreed dates. Bugs against components "kernel", "kernel-rt", and "kpatch" are only migrated if still in "NEW" or "ASSIGNED". If you cannot log in to RH Jira, please consult article #7032570. That failing, please send an e-mail to the RH Jira admins at rh-issues@redhat.com to troubleshoot your issue as a user management inquiry. The email creates a ServiceNow ticket with Red Hat. Individual Bugzilla bugs that are migrated will be moved to status "CLOSED", resolution "MIGRATED", and set with "MigratedToJIRA" in "Keywords". The link to the successor Jira issue will be found under "Links", have a little "two-footprint" icon next to it, and direct you to the "RHEL project" in Red Hat Jira (issue links are of type "https://issues.redhat.com/browse/RHEL-XXXX", where "X" is a digit). This same link will be available in a blue banner at the top of the page informing you that that bug has been migrated.

Description of problem:
Constrains printed by seinfo --constrain are not in correct format, e.g.:

mlsconstrain { db_column } { create relabelto  } 
(  h1 h2  dom  l2 h2  ==  && );

It seems the expressions are printed in some kind of postfix notation, but without parenthesis. 


Version-Release number of selected component (if applicable):
setools-console-3.3.7-4.el6.x86_64

How reproducible:
always

Steps to Reproduce:
1. seinfo --constrain

RHEL-7 version is setools-console-3.3.7-34.el7.x86_64.

The booleans expression in sesearch output suffers with the same problem. e.g.:

# sesearch -b ftp_home_dir --allow -C
...
DT allow ftpd_t autofs_t : dir { getattr search open } ; [ ftp_home_dir use_nfs_home_dirs && ]
...

Still the same version:
setools-console-3.3.7-34.el7.x86_64

Well this is not likely something we will spend time on fixing, if upstream fixed it we would take it.

This request was not resolved in time for the current release.
Red Hat invites you to ask your support representative to
propose this request, if still desired, for consideration in
the next release of Red Hat Enterprise Linux.