?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
unconstant_macros: allow (foo & _PAGE_NX) even when _PAGE_NX is zero
[smatch.git] / smatch_data / kernel.unconstant_macros
blob2553c17a6a22f820961bc75892923a82481d7bbb
1 X86_VM_MASK
2 VM_GROWSUP
3 UBIFS_BLOCKS_PER_PAGE
4 DYNTICK_TASK_NEST_MASK
5 ARCH_SHF_SMALL
6 SLAB_NOTRACK
7 FAULT_FLAG_TRANSHUGE
8 _PAGE_NX
Static analysis for C