?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
unreachable: silence "not actually initialized" false positives
[smatch.git] / smatch_data / kernel.unconstant_macros
blobd16d3a05cbd8800f025bca1ee05cb44ea2079c7e
1 X86_VM_MASK
2 VM_GROWSUP
3 VM_SOFTDIRTY
4 UBIFS_BLOCKS_PER_PAGE
5 DYNTICK_TASK_NEST_MASK
6 ARCH_SHF_SMALL
7 SLAB_NOTRACK
8 FAULT_FLAG_TRANSHUGE
9 _PAGE_NX
Static analysis for C