?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
extra: handle loops like: while (--i >= 0) {
[smatch.git] / smatch_data / kernel.unconstant_macros
blobbafb4d28d4e824ed96374ba715b2f13ffcddab18
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
10 MAP_UNINITIALIZED
Static analysis for C