AA_BUG
AA_BUG(!p);
AA_BUG(!p);
AA_BUG(!profile);
AA_BUG(!peer);
AA_BUG(!profile);
AA_BUG(profile_unconfined(profile));
AA_BUG(!profile);
AA_BUG(!sk);
AA_BUG(profile_unconfined(profile));
AA_BUG(!profile);
AA_BUG(!sk);
AA_BUG(!ad);
AA_BUG(profile_unconfined(profile));
AA_BUG(!profile);
AA_BUG(!sk);
AA_BUG(!ad);
AA_BUG(profile_unconfined(profile));
AA_BUG(!profile);
AA_BUG(!sk);
AA_BUG(!ad);
AA_BUG(profile_unconfined(profile));
AA_BUG(!profile);
AA_BUG(!label);
AA_BUG(!sk);
AA_BUG(!ad);
AA_BUG(profile_unconfined(profile));
AA_BUG(!path);
AA_BUG(!profile);
AA_BUG(profile_unconfined(profile));
AA_BUG(!sk);
AA_BUG(!peer_label);
AA_BUG(!ad);
AA_BUG(!label);
AA_BUG(!sk);
AA_BUG(!peer_sk);
AA_BUG(!peer_label);
AA_BUG(!label);
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(sock->sk->sk_family != PF_UNIX);
AA_BUG(file->private_data &&
AA_BUG(rawdata->ns && !mutex_is_locked(&rawdata->ns->lock));
AA_BUG(!ns);
AA_BUG(!rawdata);
AA_BUG(!mutex_is_locked(&ns->lock));
AA_BUG(!ns_subdata_dir(ns));
AA_BUG(!old);
AA_BUG(!new);
AA_BUG(!mutex_is_locked(&profiles_ns(old)->lock));
AA_BUG(!profile);
AA_BUG(!mutex_is_locked(&profiles_ns(profile)->lock));
AA_BUG(d_inode(ns_subns_dir(parent)) != dir);
AA_BUG(ns_dir(ns) != dentry);
AA_BUG(!mutex_is_locked(&ns->lock));
AA_BUG(!mutex_is_locked(&ns->lock));
AA_BUG(!ns);
AA_BUG(!dir);
AA_BUG(true, "unknown refcount type");
AA_BUG(!ns);
AA_BUG(!parent);
AA_BUG(!mutex_is_locked(&ns->lock));
AA_BUG(!root);
AA_BUG(!ns);
AA_BUG(ns != root && !mutex_is_locked(&ns->parent->lock));
AA_BUG(!root);
AA_BUG(ns && !mutex_is_locked(&ns->lock));
AA_BUG(!mutex_is_locked(&profiles_ns(p)->lock));
AA_BUG(!dir);
AA_BUG(!dentry);
AA_BUG(!name);
AA_BUG(!parent);
AA_BUG(copy_size > alloc_size);
AA_BUG(n > MULTI_TRANSACTION_LIMIT);
AA_BUG(!profile);
AA_BUG(!label);
AA_BUG(!hats);
AA_BUG(count < 1);
AA_BUG(!new);
AA_BUG(!name);
AA_BUG(!head);
AA_BUG(!name);
AA_BUG(!profile);
AA_BUG(!bprm);
AA_BUG(!buffer);
AA_BUG(!profile);
AA_BUG(!onexec);
AA_BUG(!bprm);
AA_BUG(!buffer);
AA_BUG(!label);
AA_BUG(!onexec);
AA_BUG(!bprm);
AA_BUG(!buffer);
AA_BUG(!cred_label(bprm->cred));
AA_BUG(!ctx);
AA_BUG(!new);
AA_BUG(!ad.request);
AA_BUG(!__is_unix_file(file));
AA_BUG(!label);
AA_BUG(!file);
AA_BUG(!flabel);
AA_BUG(!blob);
AA_BUG(!blob);
AA_BUG(!l->proxy);
AA_BUG(!l->proxy->label);
AA_BUG(!tmp);
AA_BUG(!__new_); \
AA_BUG(!ctx);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!z);
AA_BUG(!a);
AA_BUG(a->size < 0);
AA_BUG(!b);
AA_BUG(b->size < 0);
AA_BUG(!new);
AA_BUG(new->size < a->size + b->size);
AA_BUG(!next);
AA_BUG(!new->vec[k]->label.proxy);
AA_BUG(!new->vec[k]->label.proxy->label);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!ls);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!a->base.hname);
AA_BUG(!b->base.hname);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!a->ns);
AA_BUG(!b->ns);
AA_BUG(!ns);
AA_BUG(!label);
AA_BUG(!a->base.hname);
AA_BUG(!b->base.hname);
AA_BUG(len < 0); \
AA_BUG(!str && size != 0);
AA_BUG(!profile);
AA_BUG(!str && size != 0);
AA_BUG(!label);
AA_BUG(!strp);
AA_BUG(!label);
AA_BUG(!strp);
AA_BUG(!label);
AA_BUG(!a);
AA_BUG(!*a);
AA_BUG(!ab);
AA_BUG(!label);
AA_BUG(!b);
AA_BUG(!*b);
AA_BUG(!f);
AA_BUG(!label);
AA_BUG(an <= 0);
AA_BUG(bn <= 0);
AA_BUG(!label);
AA_BUG(!str);
AA_BUG(!base);
AA_BUG(!str);
AA_BUG(!vec);
AA_BUG(!ls);
AA_BUG(!ls);
AA_BUG(!ls);
AA_BUG(!label);
AA_BUG(!mutex_is_locked(&labels_ns(label)->lock));
AA_BUG(!label->vec[i]);
AA_BUG(!new->vec[i]);
AA_BUG(!new->vec[i]->label.proxy);
AA_BUG(!new->vec[i]->label.proxy->label);
AA_BUG(tmp == label);
AA_BUG(labels_ns(label) != labels_ns(new));
AA_BUG(!new);
AA_BUG(!ns);
AA_BUG(!mutex_is_locked(&ns->lock));
AA_BUG(!ns);
AA_BUG(!mutex_is_locked(&ns->lock));
AA_BUG(n < 1);
AA_BUG(!vec);
AA_BUG(res > 0, "vec not sorted");
AA_BUG(dups < 0);
AA_BUG(n < 1);
AA_BUG(!vec);
AA_BUG(dups < 0);
AA_BUG(!label);
AA_BUG(label_isprofile(label) &&
AA_BUG(label_isprofile(label) &&
AA_BUG(!label);
AA_BUG(size < 1);
AA_BUG(size < 1);
AA_BUG(!b);
AA_BUG(!label);
AA_BUG(i < 0);
AA_BUG(!set);
AA_BUG(!I);
AA_BUG(I->i < 0);
AA_BUG(I->i > set->size);
AA_BUG(!sub);
AA_BUG(I->j < 0);
AA_BUG(I->j > sub->size);
AA_BUG(!set);
AA_BUG(!sub);
AA_BUG(!set);
AA_BUG(!sub);
AA_BUG(!ls);
AA_BUG(!label);
AA_BUG(!ls);
AA_BUG(!old);
AA_BUG(!new);
AA_BUG(new->flags & FLAG_IN_TREE);
AA_BUG(!ls);
AA_BUG(!label);
AA_BUG(labels_set(label) != ls);
AA_BUG(label->flags & FLAG_IN_TREE);
AA_BUG(!__label_replace(this, label));
AA_BUG(!vec);
AA_BUG(!*vec);
AA_BUG(n <= 0);
AA_BUG(!label);
AA_BUG(!orig);
AA_BUG(!ls);
AA_BUG(!new);
AA_BUG(!vec);
AA_BUG(!*vec);
AA_BUG(n <= 0);
AA_BUG(!vec);
AA_BUG(!ls);
AA_BUG(!label);
AA_BUG(!a);
AA_BUG(!b);
AA_BUG(!I);
AA_BUG(I->i < 0);
AA_BUG(I->i > a->size);
AA_BUG(I->j < 0);
AA_BUG(I->j > b->size);
AA_BUG(on_list_rcu(&policy->profiles));
AA_BUG(on_list_rcu(&policy->list));
AA_BUG(in_interrupt());
AA_BUG("a_ctx != label");
AA_BUG("b_ctx != label");
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(!address);
AA_BUG(in_interrupt());
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(!address);
AA_BUG(in_interrupt());
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(in_interrupt());
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(!newsock);
AA_BUG(in_interrupt());
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(!msg);
AA_BUG(in_interrupt());
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(in_interrupt());
AA_BUG(!sock);
AA_BUG(!sock->sk);
AA_BUG(in_interrupt());
AA_BUG(!profile);
AA_BUG(!dfa);
AA_BUG(!str);
AA_BUG(!wb);
AA_BUG(!count);
AA_BUG(!policy);
AA_BUG(!policy->dfa);
AA_BUG(!policy->perms);
AA_BUG(!perms);
AA_BUG(!profile);
AA_BUG(!path);
AA_BUG(!profile);
AA_BUG(!mntpath);
AA_BUG(!buffer);
AA_BUG(!profile);
AA_BUG(devpath && !devbuffer);
AA_BUG(!label);
AA_BUG(!path);
AA_BUG(!label);
AA_BUG(!path);
AA_BUG(!label);
AA_BUG(!path);
AA_BUG(!label);
AA_BUG(!from_path);
AA_BUG(!to_path);
AA_BUG(!label);
AA_BUG(!path);
AA_BUG(!profile);
AA_BUG(!path);
AA_BUG(!label);
AA_BUG(!mnt);
AA_BUG(!profile);
AA_BUG(!new_path);
AA_BUG(!old_path);
AA_BUG(!label);
AA_BUG(!old_path);
AA_BUG(!new_path);
AA_BUG(!profile);
AA_BUG(!policy);
AA_BUG(family >= AF_MAX);
AA_BUG(type < 0 || type >= SOCK_MAX);
AA_BUG(profile_unconfined(profile));
AA_BUG(!label);
AA_BUG(!sk);
AA_BUG(!sk);
AA_BUG(in_interrupt());
AA_BUG(!label);
AA_BUG(!list);
AA_BUG(!profile);
AA_BUG(!profile->ns);
AA_BUG(!mutex_is_locked(&profile->ns->lock));
AA_BUG(l != &profile->label);
AA_BUG(!profile);
AA_BUG(!profile->ns);
AA_BUG(!mutex_is_locked(&profile->ns->lock));
AA_BUG(!profile);
AA_BUG(!profile->ns);
AA_BUG(!mutex_is_locked(&profile->ns->lock));
AA_BUG(!ns);
AA_BUG(!hname);
AA_BUG(!parent);
AA_BUG(!dfa);
AA_BUG(!xmatch);
AA_BUG(!dfa);
AA_BUG(!dfa);
AA_BUG(!parent);
AA_BUG(!name);
AA_BUG(!mutex_is_locked(&parent->lock));
AA_BUG(!mutex_is_locked(&parent->lock));
AA_BUG(data->compressed_size > 0);
AA_BUG(!data);
AA_BUG(!data->ns);
AA_BUG(!tags);
AA_BUG(!mutex_is_locked(&data->ns->lock));
AA_BUG(data->revision > revision);
AA_BUG(!perms);
AA_BUG(len < 0);
AA_BUG(!label);
AA_BUG(!cred_label(new));
AA_BUG(!label);